In this course you will learn how to apply satisfiability (SAT/SMT) tools to solve a wide range of problems. Several basic examples are given to get the flavor of the applications: ...
Hacker News Stories and CommentsAll the comments and stories posted to Hacker News that reference this course.
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