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