SAT solver (for teaching purposes in the course Logic in computer science) - View it on GitHub