GitHub topics: tootatis
crillab/metrics-solvers
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
Size: 36.1 KB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
crillab/CSUniverse
CSUuniverse is a C# version of UNIVERSE.
Language: C# - Size: 679 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
crillab/aceurancetourix
Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
Language: Java - Size: 25.4 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
crillab/autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
Language: C++ - Size: 315 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
crillab/juniverse
JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.
Language: Java - Size: 1.42 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0
crillab/universe
UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs
Language: C++ - Size: 2.82 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0