SAT solver (for teaching purposes in the course Logic in computer science)