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

Fortress v0.4.33 released

Fortress v0.4.33 has been released.
Added by Sergey Smolov over 5 years ago

The new release contains the following changes:

New SmtKeyword class for SMT-LIBv2 keywords
Print user data for unsupported operation
SmtTextSolver: always parse model for array values
Other bug fixes and code improvements

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

Comments