From f014e30d46a80fa3c58ae33dd97cbaf57b957fb2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 13 Aug 2022 08:53:19 -0700 Subject: [PATCH] disable case1 Signed-off-by: Nikolaj Bjorner --- src/math/simplex/model_based_opt.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp index 98ff63f35..46ab55167 100644 --- a/src/math/simplex/model_based_opt.cpp +++ b/src/math/simplex/model_based_opt.cpp @@ -596,7 +596,7 @@ namespace opt { bool use_case1 = abs_src_c == abs_dst_c && src_c.is_pos() != dst_c.is_pos() && !abs_src_c.is_one() && t_le == dst.m_type && t_le == src.m_type; bool use_case2 = distance.is_nonpos() || abs_src_c.is_one() || abs_dst_c.is_one(); - if (use_case1) { + if (use_case1 && false) { // // x*src_c + s <= 0 // -x*src_c + t <= 0