diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-09-30 23:01:58 +0000 |
| commit | 33e3657c15d6c760206aeaca10b5690af4a78223 (patch) | |
| tree | a75475200584ab5e11981827182d979d84f6e1ff /examples/README | |
| parent | 192c5592424e5db0afc72e7316c4698949a2f7e5 (diff) | |
interfaces fixes and cleanups...and examples of each interface!
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 |