Hallo,
I am planning to use qsopt-exact to solve linear programs and then import the exact solutions of the primal and dual problem into the theorem prover Isabelle/HOL as optimality certificates.
It would be great if qsopt-exact had an option to output both the solution to the primal and the dual problem.
Could you please implement that?
Cheers,
Manuel
I'm not sure if you are still interested in this question but I believe this is already possible. The dual solution is provided in the file output from the `esolver` command and also available by calling `mpq_QSget_pi_array()` if you are using the library.