search

potassco / anthem-1

🎼 Translate answer set programs to first-order theorem prover language
https://potassco.org/
MIT License
7 stars 5 forks source link

Greater equal #2

Open jorgefandinno opened 3 years ago

jorgefandinno commented 3 years ago

Symbol >= in ASP programs seems to be understood as >. Rewriting programs to use <= instead of >= works.

ZachJHansen commented 2 years ago

This issue is resolved by updating the clingo-rs Rust bindings library to the latest version (which would break the current version of Anthem in other ways), or by patching the ast.rs file in clingo-rs commit 61cc68c0d.