2 results found Sort:

gophersat, a SAT solver in Go
Created 2017-09-27
199 commits to master branch, last one 9 months ago
16
148
mit
12
A fast SAT solver
Created 2016-07-23
158 commits to master branch, last one 3 years ago