From ce1f3143dec43456daa67b69d7efe02f8cc753da Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Sat, 21 Nov 2015 15:09:58 -0800 Subject: [PATCH] Update location of z3 in the install file --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL b/INSTALL index 693b83ccd..0111a89e2 100644 --- a/INSTALL +++ b/INSTALL @@ -12,7 +12,7 @@ in your .cabal/bin directory (or wherever you installed it.) It's highly recommended that you run this program to ensure everything is working correctly. In particular, you will first need to install Z3, the default SMT solver used by sbv, from Microsoft. (You can get it -from http://research.microsoft.com/en-us/um/redmond/projects/z3/.) +from http://github.com/Z3Prover/z3.) Please make sure that the "z3" executable is in your path. Once you have installed sbv, you can use it in your Haskell programs