From 29e73bce9a8b5edd1a26361e1e7b2ab624977af2 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 30 Mar 2022 13:39:28 -0700 Subject: [PATCH] docs: Add bags to list of theory references. (#8461) --- docs/theories/theories.rst | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) 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 -- 2.30.2