GitHub topics: solver
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: 5 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
crillab/CSUniverse
CSUuniverse is a C# version of UNIVERSE.
Language: C# - Size: 679 KB - Last synced at: 6 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: 6 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
Language: C++ - Size: 187 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 4