From d81b9bd86cb8085bf13dbc175e6022ebc1acb930 Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Thu, 8 Oct 2015 22:30:12 -0700
Subject: [PATCH] Update versions
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Z3 now moved to “master” based dev; so no need to mention stable
Ditto for ABC, I think the model there is to always use from the tip.
---
 SMTSolverVersions.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/SMTSolverVersions.md b/SMTSolverVersions.md
index 1e7ada250..9e0d8ce75 100644
--- a/SMTSolverVersions.md
+++ b/SMTSolverVersions.md
@@ -7,7 +7,6 @@ All testing was last done on Oct 5, 2015.
   * ABC:
       * https://bitbucket.org/alanmi/abc
       * Version 1.01
-      * Note: SMT-Lib support in ABC is fairly new. SBV uses the latest from the repo above.
   * Boolector:
       * http://fmv.jku.at/boolector/
       * Version 2.1.1
@@ -23,4 +22,3 @@ All testing was last done on Oct 5, 2015.
   * Z3:
       * https://github.com/Z3Prover/z3
       * Version 4.4.1
-      * Note: For floating-point logic, SBV uses the unstable-branch