Fortress

The new release contains the following changes:

• New utility methods ExprUtils.isOperation, Node.isType, and CollectionUtils.mergeLists
• New method Transformer.substitute(Node, NodeProvider) that facilitates node substitution

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