-
-
Notifications
You must be signed in to change notification settings - Fork 390
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
Tools to test JuMP models #3664
Labels
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I really think we need a tool that can test formulations (and reformulations) are equivalent.
See, e.g., jump-dev/MathOptInterface.jl#2416 (comment).
We currently have
primal_feasibility_report
, so perhaps we could hijack that to add some test cases. And if you provide partial (in)feasible starts, we could use a solver to fill in the blanks.I can't immediately find the links, but I think we've discussed this before...
The text was updated successfully, but these errors were encountered: