diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-09-25 09:47:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-25 09:47:12 -0700 |
| commit | 4f384b6fadd999324d83b4c4ea900de2a0e13dd7 (patch) | |
| tree | d62683a66ede8c7a0ee04e8b67ee999aa71342ea /examples/README | |
| parent | f892370a615ecadc011b49a98d2c4695fafa7f4f (diff) | |
Use separate CMake project for CVC4 examples. (#3196)
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`. |