GitHub topics: solver
crillab/metrics-solvers
This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.
taille: 36,1 ko - dernière synchronisation: il y a environ 7 heures - enregistré: il y a 10 jours - étoiles: 0 - forks: 0
crillab/CSUniverse
CSUuniverse is a C# version of UNIVERSE.
langage: C# - taille: 679 ko - dernière synchronisation: il y a environ 19 heures - enregistré: il y a environ 2 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 environ 19 heures - enregistré: il y a 5 mois - étoiles: 0 - forks: 0
crillab/nacre_mini
NACRE : Nogood And Clause Reasoning Engine
langage: C++ - taille: 187 ko - dernière synchronisation: il y a environ 19 heures - enregistré: il y a presque 6 ans - étoiles: 6 - forks: 4