From f040db94f8068c3cec2a351e79dc0482b1111847 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 28 Oct 2012 12:19:45 -0700 Subject: [PATCH] python example Signed-off-by: Leonardo de Moura --- examples/python/README | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 examples/python/README diff --git a/examples/python/README b/examples/python/README new file mode 100644 index 000000000..eb564ec1a --- /dev/null +++ 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. \ No newline at end of file