2 results found Sort:

crillab
gophersat crillab
23
372
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 11 months ago
go-air
gini go-air
16
147
mit
12
A fast SAT solver
fuzzing testing concurrent resolution sat-solver circuit-sat dependencies verification logic-circuit boolean-formulas logic-programming artificial-intelligence
Created 2016-07-23
158 commits to master branch, last one 3 years ago