satyrn (pypi): SAT Solver Interface
Keywords: satisfiability