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

Fortress v0.4.17 released

Fortress v0.4.17 has been released.
Added by Andrei Tatarnikov almost 9 years ago

The new release contains the following changes:

New type DataTypeId.LOGIC_STRING for representing strings was added

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

Comments