Project

General

Profile

Fortress v0.4.29 released

Fortress v0.4.29 has been released.
Added by Andrei Tatarnikov about 6 years ago

The new release contains the following changes:

  • Pretty printing of SMT code
  • Improvements in the Java printer
  • New convenience methods NodeValue.newBitVector
  • Additional NodeVariable constructor that takes a dynamic data object
  • Some general code improvements

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


Comments