Fortress v0.4.26 released

Fortress v0.4.26 has been released.
Added by Andrei Tatarnikov about 1 month ago

The new release contains the following changes:

  • Fix in BitVectorMapping
  • Improvement in type calculation rules (support for unbounded BVCONCAT)

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


Comments