JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.
-
Updated
Jul 28, 2023 - Java
JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.
A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
Homebrew Formula for xcsp-launcher
CSUuniverse is a C# version of UNIVERSE.
UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs
Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
This repository contains metadata for instances from various XCSP competitions.
Add a description, image, and links to the tootatis topic page so that developers can more easily learn about it.
To associate your repository with the tootatis topic, visit your repo's landing page and select "manage topics."