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

Fortress v0.3.1 released

Fortress v0.3.1 has been released.
Added by Andrei Tatarnikov almost 10 years ago

Fortress v0.3.1 has been released.

The new release includes the following changes:

support for parametric operations with two or more parameters
support for array operations
support for the BVEXTRACT operation

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

Comments