1 These are examples of how to use CVC4 with each of its in-memory, library
2 interfaces. They are essentially "hello world" examples, and do not
3 fully demonstrate the interfaces, but function as a starting point to
4 using simple expressions and solving functionality through each library.
6 These examples are built as a separate step. After building CVC4, you
7 can make the examples by running "make" from inside the examples
8 directory. With the default configuration, you'll find them in
9 builds/examples in the top-level source directory (if you configured
10 your own build directory, you'll find them there).
12 Many of the examples (python, ocaml, ruby, etc.) do not need to be
13 compiled to run. These are not compiled by "make"---see the comments
14 in the files for ideas on how to run them.
16 -- Morgan Deters <mdeters@cs.nyu.edu> Wed, 16 Nov 2011 02:48:19 -0500