Fortress

The new release contains the following changes:

• Support for CVC4 was implemented
• Support for bit vectors, arrays and real numbers in calculator were implemented
• Additional rules for expression transformer were implemented
• Some bug fixes and general code improvements were made

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

Installation note:

In the new version, the Environment.setSolverPath method is no longer available since it causes controversy when several solvers are used. To set up the path to an external solver, you need to use the setSolverPath method of the corresponding solver object. For example:

final Solver solver = SolverId.Z3_TEXT.getSolver();
solver.setSolverPath("tools/z3/bin/z3.exe");

Another way is to set up the Z3_PATH and CVC4_PATH environment variables for the Z3 and CVC4 solvers correspondingly.