1 result found Sort:

go-air
gini go-air
16
148
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 2 years ago