# jconstraints

**Repository Path**: LoveYourChild/jconstraints

## Basic Information

- **Project Name**: jconstraints
- **Description**: No description available
- **Primary Language**: Unknown
- **License**: Apache-2.0
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2021-05-18
- **Last Updated**: 2021-05-18

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

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

## Dependencies ##

* [ANTLR v3][1]
* [Guava 14.0.1][7]

ANTLR is distributed under the terms of the
[BSD license][3]. Guava is distributed under 
the terms of the [Apache License 2.0][8].


## 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*][9], you can find *jConstraints*
plugins for, e.g. Z3.

[1]: http://www.antlr3.org/
[3]: http://www.antlr3.org/license.html
[7]: https://code.google.com/p/guava-libraries/
[8]: http://www.apache.org/licenses/LICENSE-2.0
[9]: https://github.com/psycopaths