Bumped tarski version number to 1.38. Made this a new version because…

… of the bug fixes w.r.t. _root_ formulas and qepcad-sat, as well as the new evalf and qepcad-qe features for _root_ formulas.
chriswestbrown · Jul 24, 2024 · 59aeb29 · 59aeb29
1 parent 145c6be
commit 59aeb29
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.37";
-static const char * tarskiVersionDate = "Thu 19 Oct 2023 08:50:11 PM EDT";
+static const char * tarskiVersion     = "1.38";
+static const char * tarskiVersionDate = "Wed Jul 24 01:12:45 PM EDT 2024";
 
 /*******************************************************************
  * TarskiException - This is the basic exception class for all