Fortress

The new release contains the following changes:

• Utility general-purpose class Result was implemented
• Utility method newInteger for BigInteger was added to NodeValue
• Some general code improvements were made

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