shilver (pypi): An outstandingly fast Shingoki solver.
Keywords: answer set programming|puzzles|shingoki