From 8a7f11227ea36a4fbe156b83e8297e65171e4d9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Pit-Claudel?= <clement.pitclaudel@live.com>
Date: Sun, 15 Apr 2018 04:37:58 -0400
Subject: [PATCH] readme: Add a link to a live demo

---
 README.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.rst b/README.rst
index 983ae98..de7c493 100644
--- a/README.rst
+++ b/README.rst
@@ -6,7 +6,7 @@ This repo contains a build script to compile `Z3 <https://github.com/Z3Prover/z3
 
 Loading Z3 is fairly slow (~15 seconds on Chrome, though less than 1 second on Firefox), but verification typically is within a factor 2 to 5 of native performance.
 
-Pre-build archives are available at https://github.com/cpitclaudel/z3.wasm/releases.
+Pre-build archives are available at https://github.com/cpitclaudel/z3.wasm/releases.  Demo at https://people.csail.mit.edu/cpitcla/z3.wasm/z3.html.
 
 Building
 ========