enable generalized explanations for linear propagator

huub-solver · Sep 10, 2024 · 5ab194c · 5ab194c
1 parent a395ded
commit 5ab194c
Show file tree

Hide file tree

Showing 4 changed files with 485 additions and 28 deletions.
diff --git a/crates/fzn-huub/corpus/jobshop_la05.sol b/crates/fzn-huub/corpus/jobshop_la05.sol
@@ -1,2 +1,2 @@
 objective = 593;
-start = [0,104,191,454,520,0,28,244,415,454,72,165,209,292,389,0,63,82,128,230,5,49,185,240,527,0,59,128,162,267,191,244,359,444,520,28,122,210,264,555,0,82,319,389,473,350,415,437,527,554];
+start = [0,104,191,454,520,0,28,244,415,454,72,165,209,292,389,0,63,82,128,230,5,49,185,240,565,0,59,128,162,267,191,244,359,444,520,28,122,210,264,527,0,82,319,389,473,350,415,437,527,554];