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.
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
Homebrew Formula for xcsp-launcher
UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs
A unified installer and launcher for XCSP3 solvers: install, build, and solve — with a single tool.
CSUuniverse is a C# version of UNIVERSE.
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."