Commit Graph

5 Commits

Author SHA1 Message Date
Aina Niemetz
68d6329d38 sets: Rename set.intersection to set.inter. (#7622)
This further renames kind SET_INTERSECTION to SET_INTER.
2021-11-10 00:36:33 +00:00
Aina Niemetz
f2fb0be988 sets: Rename kinds with a more consistent naming scheme. (#7595)
This prefixes sets kinds with SET_ and relation kinds with
RELATION_. It also prefixes the corresponding SMT-LIB operators with
'set.' and relation operators with 'rel.'.
2021-11-08 12:49:14 -08:00
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