Fortress

The new build contains the following changes:

• Convenience methods simplifying access to expression value and type information were implemented
• The expression transformer facility was enhanced
• The possibility to control the order of visiting operands of an expression was implemented

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