From 7440f0568b99842d87cb1f86eec21aed9f46b92a Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 26 May 2021 08:30:45 +0200 Subject: Add more examples to the documentation (#6569) This PR adds (most of) the existing examples to the documentation, and does some other minor updates on the documentation. Some details: - for consistency, all cpp examples are moved from examples/api to examples/api/cpp - add capabilities for SMT-LIB examples, and two simple smt2 examples - more docs/examples/*.rst files - two new documentation categories: installation (how to obtain, compile and install cvc5) and binary (about the cvc5 binary) --- docs/binary/options.rst | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 docs/binary/options.rst (limited to 'docs/binary/options.rst') diff --git a/docs/binary/options.rst b/docs/binary/options.rst new file mode 100644 index 000000000..6f9c613e7 --- /dev/null +++ b/docs/binary/options.rst @@ -0,0 +1,5 @@ +Commandline Options +=================== + +.. include-build-file:: options_generated.rst + -- cgit v1.2.3