Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove gringo's CSP extension. #367

Closed
rkaminsk opened this issue May 7, 2022 · 0 comments · Fixed by #368
Closed

Remove gringo's CSP extension. #367

rkaminsk opened this issue May 7, 2022 · 0 comments · Fixed by #368
Assignees
@rkaminsk
Labels
enhancement
Milestone
v5.6.0

Comments

@rkaminsk
Copy link
Member

rkaminsk commented May 7, 2022

Linear constraints are handled way better by clingcon than gringo's prototypical support for linear support. It should be removed to simplify the code.
@rkaminsk rkaminsk added this to the v5.6.0 milestone May 7, 2022
@rkaminsk rkaminsk self-assigned this May 7, 2022
@rkaminsk rkaminsk linked a pull request May 14, 2022 that will close this issue
Support comparisons with more than one relation #368
Merged
7 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rkaminsk rkaminsk

Labels
enhancement
Projects
None yet
Milestone
v5.6.0
Development

Successfully merging a pull request may close this issue.

Support comparisons with more than one relation potassco/clingo
1 participant
@rkaminsk