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/examples/sygus-fun.rst | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 docs/examples/sygus-fun.rst (limited to 'docs/examples/sygus-fun.rst') diff --git a/docs/examples/sygus-fun.rst b/docs/examples/sygus-fun.rst new file mode 100644 index 000000000..3d5bddff1 --- /dev/null +++ b/docs/examples/sygus-fun.rst @@ -0,0 +1,7 @@ +SyGuS: Functions +=================== + + +.. api-examples:: + ../../examples/api/cpp/sygus-fun.cpp + ../../examples/api/python/sygus-fun.py -- cgit v1.2.3