potassco / clasp

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

Related projects

Alternatives and complementary repositories for clasp