Hacker News Comments on
Automated Reasoning: satisfiability
Hacker News Stories and CommentsAll the comments and stories posted to Hacker News that reference this url.
Well done! I'm taking a course on SAT solvers , but it uses some lisp format and lets you input from a richer language (e.g. distinct, if-then-else, plus integers rather than just booleans), so I had to look up the conjunctive normal format in your app. The readme for this repo  sent me here . Pretty simple format.
I love how fast your app is!
Which course have you got in mind,  given by Hans Zantema?
 Automated Reasoning: satisfiability, https://www.coursera.org/learn/automated-reasoning-sat