From 393d25f661024677fd5d80b8fd3a3e476de8afd6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 18 Apr 2018 21:12:43 -0700
Subject: [PATCH] add web assembly link

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 8ebf6a078..54804175d 100644
--- a/README.md
+++ b/README.md
@@ -189,3 +189,7 @@ python -c 'import z3; print(z3.get_version_string())'
 
 See [``examples/python``](examples/python) for examples.
 
+### ``Web Assembly``
+
+[WebAssembly](https://github.com/cpitclaudel/z3.wasm)
+Web Assembly bindings are provided by Cl�ment Pit-Claudel.