GitHub topics: constraint-programming
INRIA/ocaml-ortools
OCaml interface to (parts of) Google OR-Tools
langage: C++ - taille: 37,7 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 10 jours - étoiles: 5 - forks: 0
crillab/CSUniverse
CSUuniverse is a C# version of UNIVERSE.
langage: C# - taille: 679 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 3 ans - étoiles: 0 - forks: 0
crillab/aceurancetourix
Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
langage: Java - taille: 25,4 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0
crillab/autis
AUTIS library allows parsing combinatorial problem instances for different common formats.
langage: C++ - taille: 315 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0
crillab/juniverse
JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.
langage: Java - taille: 1,42 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 1 - forks: 0
crillab/universe
UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs
langage: C++ - taille: 2,82 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
langage: C++ - taille: 187 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 7 ans - étoiles: 6 - forks: 4