UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs

License	Linux & Windows	SonarCloud

Description

JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.

• SAT Solver
• PB Solver
• XCSP Solver

These interfaces are described in the following diagrams :

Universe offers an interface for create Solver. This interface follows the factory design pattern and is described in the following diagrams:

Build

The latest release is available here

JUNIVERSE is developed using JAVA 10, Gradle 7.4.2. Installing Gradle is required if you want to build from source. To do so, after having installed all the needed tools, you will need to clone the project:

git clone https://github.com/crillab/juniverse.git
cd juniverse
gradle jar