Fortress v0.4.10 released
Fortress v0.4.10 has been released.
The new release contains the following changes:
- New
BitVector
methods:setAll
,isAllSet
andisAllReset
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
Comments