From cd2fc9e7d01498c91816b7b243376c4b66d99d2f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Paulev=C3=A9?= <loic.pauleve@labri.fr>
Date: Fri, 14 Jun 2024 22:58:11 +0200
Subject: [PATCH] add support for CLINGO_OPTS envvar

---
 bonesis/__init__.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/bonesis/__init__.py b/bonesis/__init__.py
index 30528d0..31fabce 100644
--- 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,