From 4f384b6fadd999324d83b4c4ea900de2a0e13dd7 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 25 Sep 2019 09:47:12 -0700 Subject: Use separate CMake project for CVC4 examples. (#3196) --- examples/README | 31 ------------------------------- 1 file changed, 31 deletions(-) delete mode 100644 examples/README (limited to 'examples/README') 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 # build examples//. - ctest example/// # run examples//. - -The examples binaries are built into `/bin/examples`. -- cgit v1.2.3