diff options
Diffstat (limited to 'examples/README')
-rw-r--r-- | examples/README | 12 |
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 |