search

potassco / clingo

🤔 A grounder and solver for logic programs.
https://potassco.org/clingo
MIT License
601 stars 79 forks source link

add theory functionality to backend #381

Closed rkaminsk closed 2 years ago

rkaminsk commented 2 years ago

@wanko, you should be able to use this for your htc related project.