potassco / clasp

⚙️ A conflict-driven nogood learning answer set solver
117Updated this week

Related projects

Alternatives and complementary repositories for clasp