2 results found Sort:
gophersat, a SAT solver in Go
Created
2017-09-27
199 commits to master branch, last one 10 months ago
A fast SAT solver
Created
2016-07-23
158 commits to master branch, last one 3 years ago