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

Fortress v0.4.25 released

Fortress v0.4.25 has been released.
Added by Andrei Tatarnikov over 7 years ago

The new release contains the following changes:

Transformer: Support for transforming MAP to BIT_VECTOR
Solver: New operations bv2int (bv2nat for CVC4) and int2bv
Solver: Solver-specific headers for generated *.smt2 files

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

Comments