Update docs for cvc5-1.0.2

cvc5 · Aug 26, 2022 · 5509970 · 5509970
1 parent 44d8e15
commit 5509970
Show file tree

Hide file tree

Showing 423 changed files with 352,576 additions and 694 deletions.
diff --git a/cvc5-1.0.0/api/api.html b/cvc5-1.0.0/api/api.html
@@ -135,6 +135,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../cvc5-1.0.0/">
@@ -143,8 +148,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/cpp.html b/cvc5-1.0.0/api/cpp/cpp.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/datatype.html b/cvc5-1.0.0/api/cpp/datatype.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/datatypeconstructor.html b/cvc5-1.0.0/api/cpp/datatypeconstructor.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/datatypeconstructordecl.html b/cvc5-1.0.0/api/cpp/datatypeconstructordecl.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/datatypedecl.html b/cvc5-1.0.0/api/cpp/datatypedecl.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/datatypeselector.html b/cvc5-1.0.0/api/cpp/datatypeselector.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/driveroptions.html b/cvc5-1.0.0/api/cpp/driveroptions.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/exceptions.html b/cvc5-1.0.0/api/cpp/exceptions.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/grammar.html b/cvc5-1.0.0/api/cpp/grammar.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/kind.html b/cvc5-1.0.0/api/cpp/kind.html
@@ -252,6 +252,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -260,8 +265,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/modes.html b/cvc5-1.0.0/api/cpp/modes.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/op.html b/cvc5-1.0.0/api/cpp/op.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/optioninfo.html b/cvc5-1.0.0/api/cpp/optioninfo.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/quickstart.html b/cvc5-1.0.0/api/cpp/quickstart.html
@@ -261,6 +261,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -269,8 +274,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/result.html b/cvc5-1.0.0/api/cpp/result.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>

diff --git a/cvc5-1.0.0/api/cpp/roundingmode.html b/cvc5-1.0.0/api/cpp/roundingmode.html
@@ -247,6 +247,11 @@
      </span>
      <div class="rst-other-versions">
       <dl>
+       <dd>
+        <a href="../../../cvc5-1.0.1/">
+         cvc5-1.0.1
+        </a>
+       </dd>
        <dd>
         <strong>
          <a href="../../../cvc5-1.0.0/">
@@ -255,8 +260,8 @@
         </strong>
        </dd>
        <dd>
-        <a href="../../../cvc5-1.0.1/">
-         cvc5-1.0.1
+        <a href="../../../cvc5-1.0.2/">
+         cvc5-1.0.2
         </a>
        </dd>
       </dl>