GitHub repository: potassco/clasp
Primary language: C++
Created: 2016-05-10T12:44:35Z
Description: ⚙️ A conflict-driven nogood learning answer set solver