Project

General

Profile

Fortress v0.4.35 released

Fortress v0.4.35 has been released.
Added by Alexander Protsenko over 1 year ago

The new release contains the following changes:
  • The data model:
    - Support for arbitrary function definition and application, including recursive functions
    - Support for datatypes
  • SMT-LIB interoperation layer:
    - Support for assertion levels
    - Support for multiple constraints in a single solver invocation
  • Fixed several issues leading to runtime exceptions

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


Comments