.. Yices API documentation master file, created by
   sphinx-quickstart on Mon Dec 22 05:42:59 2014.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Content
=======

Download and Installation
-------------------------

.. toctree::
   :maxdepth: 1

   install-binaries
   install-sources

Basics
------

.. toctree::
   :maxdepth: 1

   overview
   basic-usage


API Reference
-------------

.. toctree::
   :maxdepth: 2

   version-data
   mcsat-support
   thread-safety
   global-initialization
   out-of-memory
   hard-limits
   api-types
   error-reports
   vectors
   type-operations
   term-operations
   misc-operations
   context-operations
   model-operations
   formula-operations
   pretty-printing


Appendix
--------

.. toctree::
   :maxdepth: 1

   yices-language
   smt-logics
   parameters
   references

.. only:: builder_html

   Index and Search
   ----------------

   * :ref:`genindex`
   * :ref:`search`

