pyglucose (pypi): pybind11-based binding of glucose SAT solver
Keywords: python|sat-solver