Fortress

The new release contains the following changes:

• Enhancements in type calculation logic
• New method DataType.isTypeId
• New methods Data.getString and NodeValue.getString
• Methods Data.newArray and NodeValue.newArray were renamed to newMap
• Other bug fixes and code improvements

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

The new release contains the following changes:

• New standard operation FUNCTION
• Support for new operations in VerilogExprPrinter and VhdlExprPrinter
• Support for IO streams in XmlConstraintLoader and XmlConstraintSaver
• New utility method Node.deepestCopy to preserve user data
• New convenience method NodeValue.newBitVector(boolean)
• New BitVectorMath methods: nandr, norr, and xnorr
• Removed redundant size checks for multiplication and division from BitVectorMath
• Bug fix in BitVector.valueOf(byte[], int)
• Other bug fixes and code improvements

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

The new release contains the following changes:

• New utility methods ExprUtils.isOperation, Node.isType, and CollectionUtils.mergeLists
• New method Transformer.substitute(Node, NodeProvider) that facilitates node substitution

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

The new release contains the following changes:

• Pretty printing of SMT code
• Improvements in the Java printer
• New convenience methods NodeValue.newBitVector
• Additional NodeVariable constructor that takes a dynamic data object
• Some general code improvements

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

The new release contains the following changes:

• Utility class Nodes that provides shortcuts for constructing operation nodes
• Printer for saving expressions into Java code
• Code conventions enforced, which caused some renaming in public methods

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

The new release contains the following changes:

• Bug fixes and improvements in BitVector (mappings were reviewed)

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

The new release contains the following changes:

• Fix in BitVectorMapping
• Improvement in type calculation rules (support for unbounded BVCONCAT)

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

The new release contains the following changes:

• Transformer: Support for transforming MAP to BIT_VECTOR
• Solver: New operations bv2int (bv2nat for CVC4) and int2bv
• Solver: Solver-specific headers for generated *.smt2 files

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

The new release contains the following changes:

• Improvements in Randomizer and VariateInterval
• Pair can store null

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

The new release contains the following changes:

• SmtTextBuilder was made public
• ConstraintUtils.newConstraint for collections was implemented

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