Fortress

Java Constraint Solver API v0.2.1 has been released. The following things have been done:

• support of parametric operations has been added
• support of ternary operations has been added
• support of user-defined objects and operations in constraint tree has been added
• several bugs have been fixed

The library can be downloaded from the page http://forge.ispras.ru/projects/solver-api/files