search

potassco / clingo

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

Feature/overflow #463

Closed rkaminsk closed 7 months ago

rkaminsk commented 9 months ago

Amendment to #462.