From 115ae8fe14ffaf108287833176188a6800aefc20 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 19 Jun 2020 13:15:50 -0700 Subject: [PATCH] check for integrality when adding an equality Signed-off-by: Lev Nachmanson --- src/math/lp/lp_bound_propagator.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h index 3c78c05ad..524e29b17 100644 --- a/src/math/lp/lp_bound_propagator.h +++ b/src/math/lp/lp_bound_propagator.h @@ -356,6 +356,7 @@ public: if (table.find(val(v), k)) { TRACE("cheap_eq", tout << "found k " ; k->print(tout) << "\n";); if (k->column() != v->column() && + is_int(k->column()) == is_int(v->column()) && !is_equal(k->column(), v->column())) report_eq(k, v); } else {