crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a environ 11 heures - enregistré: il y a environ un an - étoiles: 388 - forks: 23