search

potassco / clingo

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

fix comparison of theory elements #485

Closed rkaminsk closed 7 months ago