Bumped tarski version to 1.40 reflecting addition of support for _roo…

…t_ expressions in input for qepcad-api-call and qepcad-sat along with level-1 normalization support.
chriswestbrown · Jul 26, 2024 · 2e16a50 · 2e16a50
1 parent 3f241fe
commit 2e16a50
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/interpreter/src/tarski.h b/interpreter/src/tarski.h
@@ -5,8 +5,8 @@
 
 namespace tarski {
 
-static const char * tarskiVersion     = "1.39";
-static const char * tarskiVersionDate = "Wed Jul 24 07:15:32 PM EDT 2024";
+static const char * tarskiVersion     = "1.40";
+static const char * tarskiVersionDate = "Fri Jul 26 12:55:38 PM EDT 2024";
 
 /*******************************************************************
  * TarskiException - This is the basic exception class for all