Set version number

potassco · Oct 23, 2024 · f5cf5d0 · f5cf5d0
1 parent d7ec449
commit f5cf5d0
Show file tree

Hide file tree

Showing 10 changed files with 12 additions and 12 deletions.
diff --git a/backend/setup.cfg b/backend/setup.cfg
@@ -1,6 +1,6 @@
 [metadata]
 name = viasp-backend
-version = 2.1.2
+version = 2.0.0.pre1
 author = Luis Glaser
 author_email = Luis.Glaser@uni-potsdam.de
 description = The backend for the viasp package.

diff --git a/docs/index.rst b/docs/index.rst
@@ -18,7 +18,7 @@ Explore ASP programs and their answer sets with viASP:
 * Inspect iterations of recursive rules
 * Relax and visualize unsatisfiable programs
 * Reorder rules
-* Zoom in and out with Ctrl + mouse wheel
+* Zoom in and out with Shift + mouse wheel
 
 .. toctree::
    :maxdepth: 2

diff --git a/docs/viasp/commandline.rst b/docs/viasp/commandline.rst
@@ -164,7 +164,7 @@ The relaxation mode transforms all integrity constraints of the input program in
     .. code-block:: bash
 
         $ viasp unsat-example.lp
-        viasp version 2.1.2
+        viasp version 2.0.0.pre1
         Reading from unsat-example.lp
 
         Starting backend at http://localhost:5050
@@ -200,7 +200,7 @@ When solving the relaxed program, the atom ``unsat(r1, (X,))`` will be derived,
     .. code-block:: bash
 
         $ viasp unsat-example.lp --relax
-        viasp version 2.1.2
+        viasp version 2.0.0.pre1
         Reading from unsat-example.lp
         UNSAT
         [INFO] Set models.

diff --git a/frontend/package-lock.json b/frontend/package-lock.json
diff --git a/frontend/package.json b/frontend/package.json
@@ -1,6 +1,6 @@
 {
   "name": "viasp_dash",
-  "version": "2.1.2",
+  "version": "2.0.0.pre1",
   "description": "The dash frontend for the viasp package.",
   "main": "build/index.js",
   "scripts": {

diff --git a/frontend/viasp_dash/package-info.json b/frontend/viasp_dash/package-info.json
@@ -1,6 +1,6 @@
 {
   "name": "viasp_dash",
-  "version": "2.1.2",
+  "version": "2.0.0.pre1",
   "description": "The dash frontend for the viasp package.",
   "main": "build/index.js",
   "scripts": {

diff --git a/frontend/viasp_dash/viasp_dash.min.js b/frontend/viasp_dash/viasp_dash.min.js
diff --git a/frontend/viasp_dash/viasp_dash.min.js.map b/frontend/viasp_dash/viasp_dash.min.js.map
diff --git a/setup.cfg b/setup.cfg
@@ -1,6 +1,6 @@
 [metadata]
 name = viasp
-version = 2.1.2
+version = 2.0.0.pre1
 author = Luis Glaser
 author_email = Luis.Glaser@uni-potsdam.de
 description = a visualization tool for clingo.

diff --git a/setup.py b/setup.py
@@ -30,7 +30,7 @@ def run(self):
 EMAIL = 'Luis.Glaser@uni-potsdam.de'
 AUTHOR = 'Luis Glaser'
 REQUIRES_PYTHON = '>=3.8.0'
-VERSION = '2.1.2'
+VERSION = '2.0.0.pre1'
 
 # What packages are required for this module to be executed?
 REQUIRED = [