Java Constraint Solver API v0.1.1 released - Fortress - Open-Source Projects

Java Constraint Solver API v0.1.1 released

First release of Java library providing an interface to SMT-LIB-based constraint solvers
Added by Sergey Smolov about 11 years ago

Java Constraint Solver API v0.1.1 has been released. The following things have been done:

Constraints creating (in the form of abstract syntax trees)
Constraints mapping to the SMT-LIB description (in this version only binary operations are supported)
Constraints storing in external memory (as XML files)
Z3 solver launching and transferring results back to Java

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

Comments