python example

leodemoura · leodemoura · commit f040db94f806 · 2012-10-28T12:19:45.000-07:00
Signed-off-by: Leonardo de Moura &lt;leonardo@microsoft.com&gt;
diff --git a/examples/python/README b/examples/python/README
@@ -0,0 +1,4 @@
+The example is copied to the build directory during configuration.
+You can execute it using
+    python example.py
+in the build directory after you build Z3.
