pseudo-boolean-solver topic
List
pseudo-boolean-solver repositories
gophersat
359
Stars
24
Forks
Watchers
gophersat, a SAT solver in Go