git.libre-soc.org Git - cvc5.git/commit

author	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 9 Jun 2021 20:44:13 +0000 (13:44 -0700)
committer	GitHub <noreply@github.com>
	Wed, 9 Jun 2021 20:44:13 +0000 (20:44 +0000)
commit	226244a0bdb68655c06d6d1b55b31be013bf7fa6
tree	ad19605834d8d30fd086581814c611d87c22df7a	tree
parent	6017579ab78cbc1390274290736ef311208a251b	commit \| diff

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.

docs/examples/examples.rst		diff \| blob \| history
docs/examples/relations.rst	[new file with mode: 0644]	blob
docs/examples/sets.rst		diff \| blob \| history
docs/ext/examples.py		diff \| blob \| history
docs/ext/smtliblexer.py		diff \| blob \| history
docs/theories/datatypes.rst		diff \| blob \| history
docs/theories/sets-and-relations.rst	[new file with mode: 0644]	blob
docs/theory.rst		diff \| blob \| history
examples/api/cpp/sets.cpp		diff \| blob \| history
examples/api/smtlib/relations.smt2	[new file with mode: 0644]	blob
examples/api/smtlib/sets.smt2	[new file with mode: 0644]	blob

RSS Atom