Fortress v0.4.34 released - Fortress - Open-Source Projects

Fortress v0.4.34 released

Fortress v0.4.34 has been released.
Added by Sergey Smolov about 4 years ago

The new release contains the following changes:

Boolector solver is supported
CVC4 1.8 solver is used
Bug fixes and code improvements

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
The complete list of resolved issues is available here

Comments