summaryrefslogtreecommitdiff
path: root/docs/binary/languages.rst
blob: 34c536017660914335ef2d002730bf9f2b024857 (plain) 
1
2
3
4
5
6
7
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/>`_
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback