Fortress v0.4.25 released

Fortress v0.4.25 has been released.
Added by Andrei Tatarnikov 6 months 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: