psycopaths / jconstraints

A constraint solver abstraction layer for Java

jConstraints

jConstraints is a library for modeling expressions and for interacting with constraint solvers.

Dependencies

• ANTLR v3
• Guava 14.0.1

ANTLR is distributed under the terms of the BSD license. Guava is distributed under the terms of the Apache License 2.0.

Building and Installing

• In the jConstraints folder, run mvn install
• If the compilation was successful, the jConstraints library can be found in the JAR file target/jconstraints-[VERSION].jar

How To Use

jConstraints does not come with constraint solvers. In order to use it, you will have to install one of the plugins that connect to constraint solvers. On the Psycopaths GitHub org, you can find jConstraints plugins for, e.g. Z3.

jconstraints's Issues

Can not find Symbolic Arrays support

In this article, authors said, that they extended Jconstraints and Jconstraints-Z3 to support Symbolic Arrays, select and store operations. (They added base classes for ArrayExpression, SelectExpression and StoreExpression).

Can you help me to find these changes?