3 Commits

Author	SHA1	Message	Date
Haniel Barbosa	59bbcb5aa5	CVC4 -> cvc5 in cpp API examples (#6746)	2021-06-15 18:29:08 +00:00
Aina Niemetz	226244a0bd	docs: Migrate sets and relations theory reference. (#6698) ... This migrates page https://cvc4.github.io/sets-and-relations. It further adds the SMT2 version of examples/api/cpp/sets.cpp and adds test/regress/regress0/rels/relations-ops.smt2 as smtlib example for relations.	2021-06-09 20:44:13 +00:00
Gereon Kremer	7440f0568b	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)	2021-05-26 06:30:45 +00:00