From 5727eb600de0443ed35e39d51d3db5528ef83b20 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 12 Jun 2023 21:55:27 +0200
Subject: [PATCH] [bin] Do not restrict alpha-beta-CROWN to a single thread.
---
bin/abcrown.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bin/abcrown.sh b/bin/abcrown.sh
index 32033f3..93a95c6 100755
--- a/bin/abcrown.sh
+++ b/bin/abcrown.sh
@@ -25,5 +25,5 @@ if [ "$1" = "--version" ]; then
SCRIPT_DIR=$( dirname -- "$0"; )
$SCRIPT_DIR/dummyversion.py "abcrown"
else
- OMP_NUM_THREADS=1 python3 -m abcrown "$@"
+ python3 -m abcrown "$@"
fi
--
GitLab