The new release contains the following changes:
- The data model:
- Support for arbitrary function definition and application, including recursive functions
- Support for datatypes
- SMT-LIB interoperation layer:
- Support for assertion levels
- Support for multiple constraints in a single solver invocation
- Fixed several issues leading to runtime exceptions
The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
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