not everything can be linearized. Catch errors

CPMpy · May 16, 2024 · fdaa043 · fdaa043
1 parent f5f2e8d
commit fdaa043
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/benchmarks/run_benchmarks.py b/benchmarks/run_benchmarks.py
@@ -6,6 +6,7 @@
 import glob
 from pycsp3.parser.xparser import CallbackerXCSP3, ParserXCSP3
 from callbackscpmpy import CallbacksCPMPy
+from cpmpy.exceptions import TransformationNotImplementedError
 
 # give this a meaningful name, so we know what branch was tested after the results are safed.
 branch = 'main'
@@ -75,7 +76,11 @@ def solve_ortools():
 
     def solve_exact():
         global result
-        result = s.solve(time_limit=time_limit)
+        try:
+            result = s.solve(time_limit=time_limit)
+        except TransformationNotImplementedError as e:
+            result = None
+
 
     if not transonly:
         print('solving')