Fortress

The new release contains the following changes:

• New utility class TypeConversion providing methods for coercing expressions of integral types (BV, Int, Bool) has been implemented

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