fix(ci): Update sat solver command line arguments

plaans · Nov 4, 2024 · 45b1cc6 · 45b1cc6
1 parent 1009b7e
commit 45b1cc6
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/ci/sat.py b/ci/sat.py
@@ -9,7 +9,7 @@
 import time
 
 os.system("cargo build --profile ci --bin aries-sat")
-solver = "target/ci/aries-sat --threads 1"
+solver = "target/ci/aries-sat"
 
 solver_cmd = solver + " {params} --source {archive} {instance}"
 
@@ -42,4 +42,3 @@ def run_all(archive, sat):
 
 run_all("examples/sat/instances/test-sat.zip", sat=True)
 run_all("examples/sat/instances/test-unsat.zip", sat=False)
-