From 45b1cc691fd5bfd9c882628de2566f711c5fea3b Mon Sep 17 00:00:00 2001 From: Arthur Bit-Monnot Date: Mon, 4 Nov 2024 14:36:45 +0100 Subject: [PATCH] fix(ci): Update sat solver command line arguments --- ci/sat.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ci/sat.py b/ci/sat.py index 0b026118..d042cd93 100755 --- 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) -