ronmrdechai/dimple

A simple SAT solver written in Java

2 best points · 1 comments · 1 Hacker News post · 6 GitHub stars · View on GitHub

Hacker News discussions

• An Exercise in Satisfiability (2 points, 1 comments, by ronmrdechai, 2019-06-15)