Fortress v0.4.23 released

Fortress v0.4.23 has been released.
Added by Andrei Tatarnikov 5 months ago

The new release contains the following changes:

  • SmtTextBuilder was made public
  • ConstraintUtils.newConstraint for collections was implemented

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


Comments