Skip to content
This repository has been archived by the owner on Feb 9, 2020. It is now read-only.

Improves infeasibility ray check of lineartest8 #34

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

blegat
Copy link
Member

@blegat blegat commented Dec 31, 2017

@joaquimg
Copy link
Member

joaquimg commented Jan 9, 2018

The only problem is that Xpress, Gurobi and CPLEX don't return rays for bounds, they will stop passing.

We can have a test keyword for certificates on bounds...
Or we can duplicate a the test one having the bound test and the other not...

We can also implement a code to compute those. Since the 3 of them don't have this certificate I think is enough reason to have one of the above two options or something on that line.

@mlubin
Copy link
Member

mlubin commented Jan 9, 2018

Make it a TestConfig option then. We don't do keywords anymore.

@joaquimg
Copy link
Member

joaquimg commented Jan 9, 2018

My bad, thats what I meant hehehe

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

Successfully merging this pull request may close these issues.

3 participants