Project

General

Profile

Fortress v0.4.33 released

Fortress v0.4.33 has been released.
Added by Sergey Smolov about 1 month 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