pyspel (pypi): Python Specification Language (Pyspel)
Keywords: answer set programming|specification language|combinatorial problems