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 7ab22cd7a0a798c3aac81d8ac0533ee2f0838767..956ddcc29c6c26bfbbde8b5cde9f428b919d84f2 100644 (file)
--- 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 (file)
index 0000000..34c5360
--- /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/>`_