search

potassco / clasp

⚙️ A conflict-driven nogood learning answer set solver
https://potassco.org/clasp/
MIT License
116 stars 16 forks source link

Cleanup/cmake #61

Closed rkaminsk closed 4 years ago

rkaminsk commented 4 years ago

This PR corresponds to the one for potassco/libpotassco#7. It additionally adds an option to explicitly use the potassco library from the system because the current setup can lead to strange side-effects.