From 4d0fda81df3aad38cc62cee47758062562ed1fbe Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 27 Jun 2017 11:45:29 -0700 Subject: [PATCH] fix run of lp_solver for mps files Signed-off-by: Lev Nachmanson --- src/shell/lp_frontend.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/shell/lp_frontend.cpp b/src/shell/lp_frontend.cpp index 8bed24c83..8acbd28ff 100644 --- a/src/shell/lp_frontend.cpp +++ b/src/shell/lp_frontend.cpp @@ -80,6 +80,8 @@ void run_solver(lp_params & params, char const * mps_file_name) { solver->settings().set_message_ostream(&std::cout); solver->settings().report_frequency = params.rep_freq(); solver->settings().print_statistics = params.print_stats(); + solver->settings().simplex_strategy() = lean:: simplex_strategy_enum::lu; + solver->find_maximal_solution(); *(solver->settings().get_message_ostream()) << "status is " << lp_status_to_string(solver->get_status()) << std::endl;