diff options
Diffstat (limited to 'packing_pallets_in_trucks/generate-packingpallets.py')
| -rwxr-xr-x | packing_pallets_in_trucks/generate-packingpallets.py | 7 |
1 files changed, 7 insertions, 0 deletions
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 |