Sujet: "sat-solver"
crillab/gophersat
gophersat, a SAT solver in Go
langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 7 jours - enregistré: il y a plus d'un an - étoiles: 387 - forks: 23
INRIA/ocaml-ortools
OCaml interface to (parts of) Google OR-Tools
langage: C++ - taille: 37,7 Mo - dernière synchronisation: il y a 8 jours - enregistré: il y a environ 2 mois - étoiles: 7 - forks: 3
