From 0dba70256a6531e5d8721e364bd61bd1331a596e Mon Sep 17 00:00:00 2001 From: Susana Hahn Date: Thu, 4 Apr 2024 16:14:14 -0600 Subject: [PATCH] New version with open clingo version --- docs/conf.py | 2 +- setup.cfg | 4 ++-- tests/reference_json_output/health.py | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/conf.py b/docs/conf.py index a93b7fb..6d74739 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -34,7 +34,7 @@ author = "Susana Hahn, Alexander Beiser" # The full version, including alpha/beta/rc tags -release = "1.0.2" +release = "1.0.3" # -- General configuration --------------------------------------------------- diff --git a/setup.cfg b/setup.cfg index f902224..9d29f7f 100644 --- a/setup.cfg +++ b/setup.cfg @@ -1,6 +1,6 @@ [metadata] name = clinguin -version = 1.0.2 +version = 1.0.3 author = Alexander Beiser, Susana Hahn (Potassco) author_email = alexl.id.at@gmail.com, hahnmartin@uni-potsdam.de description = An interactive visualizer for clingo @@ -12,7 +12,7 @@ url = https://github.com/krr-up/clinguin packages = find: include_package_data=True install_requires = - clingo==5.6.0 + clingo clorm>=1.4.1 clingo-dl fastapi==0.103.* diff --git a/tests/reference_json_output/health.py b/tests/reference_json_output/health.py index c473e22..479d534 100644 --- a/tests/reference_json_output/health.py +++ b/tests/reference_json_output/health.py @@ -6,7 +6,7 @@ class Health: def get_reference_json(cls): json_dict = { "name": "clinguin", - "version": "1.0.2", + "version": "1.0.3", "description": "An interactive visualizer for clingo", }