Fortress v0.4.35 released
Fortress v0.4.35 has been released.
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