mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
9ac9068ac2
I am getting that the links to SMT-LIB in https://cvc5.github.io/docs/cvc5-1.1.2/ no longer work. This updates the links on main to use a URL that works for me.
21 lines
555 B
ReStructuredText
21 lines
555 B
ReStructuredText
Binary Documentation
|
|
====================
|
|
|
|
The easiest way to use cvc5 is usually to invoke the cvc5 binary via the command line.
|
|
The :doc:`quickstart guide <quickstart>` gives a short introduction on how to use cvc5 via the SMT-LIBv2
|
|
interface.
|
|
|
|
The cvc5 binary supports the following input languages:
|
|
|
|
* `SMT-LIB v2 <http://smt-lib.org/language.shtml>`_
|
|
* `SyGuS-IF <https://sygus-org.github.io/language/>`_
|
|
|
|
|
|
Alternatively, cvc5 features :doc:`several APIs <../api/api>` for different programming languages.
|
|
|
|
|
|
.. toctree::
|
|
:hidden:
|
|
|
|
quickstart
|