PackingPallets: solved 1b

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