Fortress v0.4.28 released
Fortress v0.4.28 has been released.
The new release contains the following changes:
- Utility class
Nodesthat provides shortcuts for constructing operation nodes
- Printer for saving expressions into Java code
- Code conventions enforced, which caused some renaming in public methods
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files