Fortress

The new release contains the following changes:

• Method BitVector.resize that supports zero extension and sign extension was implemented
• More flexible expression printing facilities are available: visitor used in map-based expression printer can be overridden
• Some general code improvements were made

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