Fix off-by-one error in Model to Solver literal translation

huub-solver · May 28, 2024 · 27dd5a7 · 27dd5a7
1 parent 1ac9d31
commit 27dd5a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/huub/src/model/reformulate.rs b/crates/huub/src/model/reformulate.rs
@@ -69,7 +69,7 @@ impl VariableMap {
 			bool::BoolView::IntGreater(v, i) => get_int_lit(slv, v, LitMeaning::GreaterEq(i + 1)),
 			bool::BoolView::IntGreaterEq(v, i) => get_int_lit(slv, v, LitMeaning::GreaterEq(*i)),
 			bool::BoolView::IntLess(v, i) => get_int_lit(slv, v, LitMeaning::Less(*i)),
-			bool::BoolView::IntLessEq(v, i) => get_int_lit(slv, v, LitMeaning::Less(i - 1)),
+			bool::BoolView::IntLessEq(v, i) => get_int_lit(slv, v, LitMeaning::Less(i + 1)),
 			bool::BoolView::IntNotEq(v, i) => get_int_lit(slv, v, LitMeaning::NotEq(*i)),
 		}
 	}