Version up

clinguin/server/application/backends/fclingo_backend.py

@@ -2,6 +2,8 @@
 Module that contains the Clingcon Backend.
 """
 
+# pylint: disable=duplicate-code
+
 import warnings
 
 from clingo.ast import Location, Position, ProgramBuilder, Rule, parse_files
@@ -12,6 +14,7 @@
     _HAS_CLINGCON = True
 except ImportError:
     _HAS_CLINGCON = False
+    ClingconTheory = None
     warnings.warn(
         "clingcon is not installed. The ClingconBackend will not work until you "
         "install it (e.g. `pip install git+https://github.com/potassco/clingcon.git`).",
@@ -65,6 +68,11 @@ def __init__(self, *args, **kwargs):
                 "fclingo is not installed. Please install it to use FclingoBackend.\n"
                 "Try: pip install git+https://github.com/potassco/fclingo.git"
             )
+        if not _HAS_CLINGCON:
+            raise ImportError(
+                "clingcon is not installed. The ClingconBackend will not work until you "
+                "install it (e.g. `pip install git+https://github.com/potassco/clingcon.git`).",
+            )
         super().__init__(*args, **kwargs)
 
     @extends(TheoryBackend)

docs/conf.py

@@ -43,7 +43,7 @@
 author = "Susana Hahn, Alexander Beiser"
 
 # The full version, including alpha/beta/rc tags
-release = "2.8.4"
+release = "2.8.5"
 
 # -- General configuration ---------------------------------------------------
 

setup.cfg

@@ -1,6 +1,6 @@
 [metadata]
 name = clinguin
-version = 2.8.4
+version = 2.8.5
 author = Alexander Beiser, Susana Hahn (Potassco)
 author_email = alexl.id.at@gmail.com, hahnmartin@uni-potsdam.de
 description = An interactive visualizer for clingo

tests/reference_json_output/health.py

@@ -6,7 +6,7 @@ class Health:
     def get_reference_json(cls):
         json_dict = {
             "name": "clinguin",
-            "version": "2.8.4",
+            "version": "2.8.5",
             "description": "An interactive visualizer for clingo",
         }