The new release contains the following changes:
- New SmtKeyword class for SMT-LIBv2 keywords
- Print user data for unsupported operation
- SmtTextSolver: always parse model for array values
- 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:
- 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:
- 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