jConstraints
jConstraints is a library for modeling expressions and for interacting with constraint solvers.
Dependencies
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.