CHANGES.txt

v1.1.1 2020/09/14
- fix relative interior point
v1.1 2020/06/03
- solver interface
-- Z3
-- Incremental solvers
- polyhedron from generators
- polyhedron from AND
- rational coeficients
- allow AND and OR
v1.0 2019/01/22
- C_Polyhedron is a lazy implementation that uses ppl inside.
- All methods have been updated, they uses our implementations of
expressions and constraints.
- Added some tests and documentation.
v0.3 2019/01/11
- separate lp from smt
- defined constraints, expressions and polyhedrons
- all methods works with our definitions of constraints, expressions..
- project method
- eq method
v0.2 2018/10/02
- multiple methods added
- extrapolation assing
- Lazy polyhedron built
- z3 is ONLY required for certain functions.
v0.1 2017/08/11
- Initial release
- Package adaptation
- ppl C_polyhedron ready