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.

Sign up for GitHub

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

Extend linear_constraints to strict inequalities #14

Closed
caballa opened this issue Jul 28, 2017 · 0 comments
Closed

Extend linear_constraints to strict inequalities #14

caballa opened this issue Jul 28, 2017 · 0 comments
Assignees
@caballa
Labels
new feature

Comments

@caballa
Copy link
Contributor

caballa commented Jul 28, 2017

Strict inequalities are needed for rationals. For integers we can always replace
x < y with x <= y-1. This issue is related to issue #10 .
@caballa caballa self-assigned this Jul 28, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@caballa caballa

Labels
new feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@caballa