chore(smtlib): package.json

educorvi · Mar 23, 2023 · 9510a8d · 9510a8d
1 parent 1135f27
commit 9510a8d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rita-smt/node-smtlib/package.json b/rita-smt/node-smtlib/package.json
@@ -1,7 +1,7 @@
 {
     "name": "@educorvi/smtlib",
     "version": "1.2.1",
-    "description": "A Javascript wrapper with a Z3-ish API for SMT-LIB 2.0, the language of Satisfiability Modulo Theories solvers",
+    "description": "A Javascript wrapper with a Z3-ish API for SMT-LIB 2.6, the language of Satisfiability Modulo Theories solvers",
     "repository": "https://github.com/educorvi/rita",
     "license": "MIT",
     "author": "Julian Pollinger",