crillab/gophersat

gophersat, a SAT solver in Go

133 best points · 36 comments · 1 Hacker News post · 390 GitHub stars · View on GitHub

Hacker News discussions

• Gophersat: A SAT solver written in Go (133 points, 36 comments, by sacado2, 2017-09-28)