Note ABC/Z3 versions (out of the source repos)

LeventErkok · Jan 7, 2016 · 08a64ea · 08a64ea
1 parent 027e60e
commit 08a64ea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
@@ -4,7 +4,7 @@ report any issues you might see with newer releases.
 
   * ABC:
       * http://bitbucket.org/alanmi/abc
-      * Version 1.01
+      * Version as downloaded from the above site on Jan 6, 2016.
   * Boolector:
       * http://fmv.jku.at/boolector/
       * Version 2.2.0
@@ -19,4 +19,4 @@ report any issues you might see with newer releases.
       * Version 2.4.1
   * Z3:
       * http://github.com/Z3Prover/z3
-      * Version 4.4.1
+      * Version as downloaded from the above site on Jan 6, 2016.