Skip to content
This repository has been archived by the owner on Aug 28, 2024. It is now read-only.

Greater equal #2

Open
jorgefandinno opened this issue Apr 21, 2021 · 1 comment
Open

Greater equal #2

jorgefandinno opened this issue Apr 21, 2021 · 1 comment

Comments

@jorgefandinno
Copy link

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

@ZachJHansen
Copy link

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.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants