1 result found Sort:

crillab
gophersat crillab
23
371
mit
12
gophersat, a SAT solver in Go
sat-solver constraints boolean-formulas pseudo-boolean-solver artificial-intelligence constraint-satisfaction-problem
Created 2017-09-27
199 commits to master branch, last one 9 months ago