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

Fortress v0.4.29 released

Fortress v0.4.29 has been released.
Added by Andrei Tatarnikov almost 7 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