pycscl (pypi): A lightweight CNF SAT constraint encoder library
Keywords: constraint-satisfaction|constraints|encoder|sat|satisfiability