# formalite

**Repository Path**: mirrors_ibm/formalite

## Basic Information

- **Project Name**: formalite
- **Description**: A Python package for the manipulation of mathematical and logical expressions, including simplification, substitution, skolemization, term rewriting, and constraint propagation.
- **Primary Language**: Unknown
- **License**: Apache-2.0
- **Default Branch**: main
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-08-28
- **Last Updated**: 2025-11-03

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# formalite
A Python package for the manipulation of mathematical and logical expressions, including simplification, substitution, skolemization, term rewriting, and constraint propagation.

Also included is code generation from the mathematical representation to Java.  (For generation of Python and IBM CPLEX
OPL see the [optimistic project](https://github.com/IBM/optimistic).)

All content in this repository including code has been provided by IBM under the associated open source software license and IBM is under no obligation to provide enhancements, updates, or support. IBM developers produced this code as an open source project (not as an IBM product), and IBM makes no assertions as to the level of quality nor security, and will not be maintaining this code going forward.