Skip to content

R1kM/jconstraints

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

A constraint solver abstraction layer for Java

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Java 99.0%
  • GAP 1.0%