Project

General

Profile

Fortress v0.4.5 released

Fortress v0.4.5 has been released.
Added by Andrei Tatarnikov over 8 years ago

The new release contains the following changes:

  • Convenience methods BitVector.field and ExprUtils.isKind were implemented
  • Some bug fixes and general code improvements were made

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


Comments