ZogSolver/Constraint Programming Solver News
Status: Alpha
Brought to you by:
lsaintigny
- Performance Improvements
- Bug Fixes
- New Features (new constraints, new expressions, ...)
- Disjunctive constraints are now supported.
- If Then Constraint added (not very efficient)
- Bug fixes
- Additional samples
A first release of zogsolver is available now.
It covers integer and real domains.
Few samples are provided.
The support of real domains is very limited at this stage. The feature set will be extended in the next releases.