search

potassco / clingo

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

fix type hints #455

Closed rkaminsk closed 11 months ago

rkaminsk commented 11 months ago

closes #454