diff options
Diffstat (limited to 'examples/README')
-rw-r--r-- | examples/README | 31 |
1 files changed, 0 insertions, 31 deletions
diff --git a/examples/README b/examples/README deleted file mode 100644 index cc3c23f26..000000000 --- a/examples/README +++ /dev/null @@ -1,31 +0,0 @@ -Examples --------- - -This directory contains usage examples of CVC4's different language -bindings, library APIs, and also tutorial examples from the tutorials -available at http://cvc4.cs.stanford.edu/wiki/Tutorials - -### SimpleVC*, simple_vc* - -These are examples of how to use CVC4 with each of its library -interfaces (APIs) and language bindings. 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. - -### Targeted examples - -The "api" directory contains some more specifically-targeted -examples (for bitvectors, for arithmetic, etc.). The "api/java" -directory contains the same examples in Java. - -### Building Examples - -The examples provided in this directory are not built by default. - - make examples # build all examples - make runexamples # build and run all examples - make <example> # build examples/<subdir>/<example>.<ext> - ctest example//<subdir>/<example> # run examples/<subdir>/<example>.<ext> - -The examples binaries are built into `<build_dir>/bin/examples`. |