add support for CLINGO_OPTS envvar

bnediction · Jun 14, 2024 · cd2fc9e · cd2fc9e
1 parent 60ca6da
commit cd2fc9e
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/bonesis/__init__.py b/bonesis/__init__.py
@@ -31,6 +31,8 @@
 
 import copy
 
+import os
+
 from colomoto import minibn
 import networkx as nx
 
@@ -47,7 +49,7 @@
 
 settings = {
     "parallel": 1,
-    "clingo_options": (),
+    "clingo_options": tuple(os.environ["CLINGO_OPTS"].split()) if "CLINGO_OPTS" in os.environ else (),
     "clingo_opt_strategy": "bb",
     "solutions": "all",
     "quiet": False,