GitHub topics: pseudo-boolean-solver
crillab/gophersat
gophersat, a SAT solver in Go
langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 27 minutes - enregistré: il y a 4 mois - étoiles: 383 - forks: 23
gophersat, a SAT solver in Go
langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 27 minutes - enregistré: il y a 4 mois - étoiles: 383 - forks: 23