From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 2 Jun 2021 00:21:56 +0000 (-0700)
Subject: docs: Migrate input languages page. (#6659)
X-Git-Tag: cvc5-1.0.0~1665
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=245d3383c2f463b07987f2758af28871fe753de9;p=cvc5.git

docs: Migrate input languages page. (#6659)

This migrates page https://cvc4.github.io/input-languages.
---

diff --git a/docs/index.rst b/docs/index.rst
index 7ab22cd7a..956ddcc29 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -18,5 +18,6 @@ Table of Contents
    binary/binary
    api/api
    examples/examples
+   languages
    references
    genindex
diff --git a/docs/languages.rst b/docs/languages.rst
new file mode 100644
index 000000000..34c536017
--- /dev/null
+++ b/docs/languages.rst
@@ -0,0 +1,8 @@
+Input Languages
+===============
+
+cvc5 supports the following input languages:
+
+* `SMT-LIB v2 <http://smtlib.cs.uiowa.edu/language.shtml>`_
+* `SyGuS-IF <https://sygus.org/language/>`_
+* `TPTP <http://www.tptp.org/>`_