clingo (pypi): CFFI-based bindings to the clingo solver.
Keywords: answer-set-programming|declarative-programming|logic-programming