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,