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

Fortress v0.4.20 released

Fortress v0.4.20 has been released.
Added by Andrei Tatarnikov about 8 years ago

The new release contains the following changes:

New NodeVariable methods: newInteger, newReal, newString, newBoolean, newUnknown, newBitVector and newMap
New ExprUtils method: isOperation that takes multiple operation identifiers

The list of resolved issues can be found at the following link

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

Comments