C API
=====

Include ``<stp/stp.h>`` and link against ``libstp``. See :doc:`../../api` for examples and error handling.

.. doxygenfile:: stp.h
   :project: stp-c
   :sections: briefdescription detaileddescription

.. toctree::
   :maxdepth: 1

   handles
   enums
   by-value-structs
   library
   term-manager
   sorts
   symbols-and-values
   generic-construction
   named-constructors
   terms
   options
   solver
   model
   statistics