search

potassco / clingo

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

Fix bug found by Ben #497

Closed javier-romero closed 2 months ago