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

Improves infeasibility ray check of lineartest8#34

Open
blegat wants to merge 1 commit into
masterfrom
bl/contlin8
Open

Improves infeasibility ray check of lineartest8#34
blegat wants to merge 1 commit into
masterfrom
bl/contlin8

Conversation

@blegat

@blegat blegat commented Dec 31, 2017

Copy link
Copy Markdown
Member

@joaquimg

joaquimg commented Jan 9, 2018

Copy link
Copy Markdown
Member

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

mlubin commented Jan 9, 2018

Copy link
Copy Markdown
Member

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

@joaquimg

joaquimg commented Jan 9, 2018

Copy link
Copy Markdown
Member

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