From f06f3da571d2785c0c7753a1c4b33e75cbd8936b Mon Sep 17 00:00:00 2001 From: Peter Wu Date: Wed, 14 Dec 2016 19:49:14 +0100 Subject: PackingPallets: solved 1b --- packing_pallets_in_trucks/generate-packingpallets.py | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'packing_pallets_in_trucks/generate-packingpallets.py') diff --git a/packing_pallets_in_trucks/generate-packingpallets.py b/packing_pallets_in_trucks/generate-packingpallets.py index e46694d..ba81851 100755 --- a/packing_pallets_in_trucks/generate-packingpallets.py +++ b/packing_pallets_in_trucks/generate-packingpallets.py @@ -127,6 +127,13 @@ for i in range(1, n_trucks + 1): "(>= 1 N{i})" ], vars()) +if is_b: + # Prittles and crottles cannot both be on the same truck. Either one of them + # should be zero for every truck. + for i in range(1, n_trucks + 1): + preds += fillin([ + "(or (= 0 P{i}) (= 0 C{i}))" + ], vars()) # Begin generator s = """(benchmark test.smt -- cgit v1.2.1