Geeks
potassco
/
clasp
⚙️ A conflict-driven nogood learning answer set solver
Primary Language
C++
MIT License
MIT
clasp Home Page
clasp GitHub
Markdown
Readme
72
Issues
117
Stargazers
12
Watchers
Watchers
alexey-kruchenok
Nalanga
BenKaufmann
@PotasscoSolutions
dcavar
Indiana University
eemailme
jevinskie
Lafayette, Indiana
jhcloos
MaxOstrowski
@PotasscoSolutions
prpr2770
University of Colorado Boulder
ptizoom
Christian Montanari Consulting
rkaminsk
@potassco
sthiele
Potassco Solutions
tortinator
University of Potsdam