summaryrefslogtreecommitdiff
path: root/examples/README
diff options
context:
space:
mode:
Diffstat (limited to 'examples/README')
-rw-r--r--examples/README12
1 files changed, 12 insertions, 0 deletions
diff --git a/examples/README b/examples/README
new file mode 100644
index 000000000..1ba0a54e6
--- /dev/null
+++ b/examples/README
@@ -0,0 +1,12 @@
+These are examples of how to use CVC4 with each of its in-memory, library
+interfaces. They are essentially "hello world" examples, and do not
+fully demonstrate the interfaces, but function as a starting point to
+using simple expressions and solving functionality through each library.
+
+These examples are built as a separate step. After building CVC4, you
+can make the examples by running "make" from inside the examples
+directory. With the default configuration, you'll find them in
+builds/examples in the top-level source directory (if you configured
+your own build directory, you'll find them there).
+
+-- Morgan Deters <mdeters@cs.nyu.edu> Fri, 30 Sep 2011 16:19:46 -0400
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback