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

Fortress v0.4.8 released

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

The new release contains the following changes:

Operations right shift (StandardOperation.BVASHR) and left shift (StandardOperation.BVLSHL) for LOGIC_INTEGER type are now supported in calculator

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

Comments