From: Aina Niemetz Date: Wed, 30 Mar 2022 20:39:28 +0000 (-0700) Subject: docs: Add bags to list of theory references. (#8461) X-Git-Tag: cvc5-1.0.0~117 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29e73bce9a8b5edd1a26361e1e7b2ab624977af2;p=cvc5.git docs: Add bags to list of theory references. (#8461) --- diff --git a/docs/theories/theories.rst b/docs/theories/theories.rst index 6a7a78398..f1b980bc4 100644 --- a/docs/theories/theories.rst +++ b/docs/theories/theories.rst @@ -1,9 +1,13 @@ Theory References ================= -cvc5 implements all theories that are currently standardized in SMT-LIB, as well as several theories that are not (yet) standardized, or -that extend beyond the respective standardized theory. -Furthermore, cvc5 supports all combinations of those theories as well as combinations with `datatypes, quantifiers, and uninterpreted functions (as defined in the SMT-LIB standard) `_. +cvc5 supports all theories that are currently standardized in SMT-LIB. +Additionally, it also implements several theories that are not (yet) +standardized, or that extend beyond the respective standardized theory. +Furthermore, cvc5 supports all combinations of all implemented theories as well +as combinations with `datatypes, quantifiers, and uninterpreted functions (as +defined in the SMT-LIB standard) +`_. Standardized theories --------------------- @@ -25,6 +29,7 @@ Non-standard or extended theories .. toctree:: :maxdepth: 1 + bags datatypes separation-logic sets-and-relations