From a0f4e4094e950851bc2b0efd55a55c9841e2d3f7 Mon Sep 17 00:00:00 2001 From: "Jip J. Dekker" Date: Wed, 22 Feb 2017 10:48:02 +0100 Subject: [PATCH] :bug: Fix compilation problems --- black-hole/black-hole.mzn | 2 +- handball/handball9.mzn | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/black-hole/black-hole.mzn b/black-hole/black-hole.mzn index ec351f5..6d90e02 100644 --- a/black-hole/black-hole.mzn +++ b/black-hole/black-hole.mzn @@ -91,7 +91,7 @@ constraint x[1] == 1; % Consecutive cards match predicate adjacent(var 1..52: a, var 1..52: b) :: presolve(autotable) -= ((x-y) in {13*i+1 | i in -4..3} union {13*i-1 | i in -3..4}) :: domain; += ((a-b) in {13*i+1 | i in -4..3} union {13*i-1 | i in -3..4}) :: domain; constraint forall(i in 1..51) ( adjacent(x[i], x[i+1]) ); diff --git a/handball/handball9.mzn b/handball/handball9.mzn index 59e4d2e..29576fa 100644 --- a/handball/handball9.mzn +++ b/handball/handball9.mzn @@ -228,7 +228,7 @@ constraint ); % channel break <---> hap (2) -predicate channel_break_hap(var breakable: bt, array[period] of var A..H: hapt, var team: t) :: presolve(presolve(model)) = +predicate channel_break_hap(var breakable: bt, array[period] of var A..H: hapt, var team: t) :: presolve(autotable(model)) = bt in breakable /\ (t in north_team -> hapt[(t mod divsize)+1] = A) /\ (t in south_team -> hapt[(t mod divsize)+1] = H) /\