Fortress

The new release contains the following changes:

• Utility class Nodes that 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