enigma-sat (pypi): Enigma SAT-solver.
Keywords: boolean-satisfiability|boolean-satisfiability-problem|sat-solver|satisfiability