Project

General

Profile

News

Fortress v0.3.0 released

Added by Sergey Smolov over 6 years ago

Fortress v0.3.0 (a redesigned version of Java Constraint Solver API) has been released.

The new release includes the following changes:

  • the library was redesigned and renamed to Fortress
  • the library was decomposed into a set of reusable packages (including data, expression, calculator, transform, solver)
  • new classes for describing data were implemented (including a new bit vector implementation)
  • a lot of refactoring has been done
  • a number of bugs was fixed

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

Java Constraint Solver API v0.1.1 released

Added by Sergey Smolov over 7 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

(41-44/44)

Also available in: Atom