Universe

mUlti laNguage unIfied intErface foR conStraint solvErs

LGPL3 CMake build Java Build CSharp Build nuget badge

UNIVERSE library proposes generic interfaces for combinatorial problems solvers.

  • SAT Solver
  • PB Solver
  • XCSP Solver

These interfaces are described in the following diagrams :

Solvers Interface

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

factory

This library is designed for simplified use in projects using CMake and vcpkg (with vcpkg_root is the path to your vcpkg install folder. )

git clone https://github.com/crillab/universe
cd universe 
cmake -S . -B build -DCMAKE_TOOLCHAIN_FILE=<vcpkg_root>/scripts/buildsystems/vcpkg.cmake"
cmake --build build

You can also used vcpkg for integrate universe to your project. We assume that you have configured the registry of crillab, see here for more information. Add crillab-universe in your vcpkg.json file.

"dependencies": [
    "crillab-universe"
    .....
]

Maven

<dependency>
  <groupId>fr.cril</groupId>
  <artifactId>juniverse</artifactId>
  <version>0.2.13</version>
</dependency>

Gradle

implementation group: 'fr.cril', name:'juniverse', version: '0.2.13'

dotnet add package Fr.UnivArtois.CRIL.CSUniverse
Sources
Implementation