Library
=======

.. doxygenfunction:: stp_get_version
   :project: stp-c

.. doxygenfunction:: stp_capability
   :project: stp-c

.. doxygenfunction:: stp_capabilities
   :project: stp-c

.. doxygenfunction:: stp_has_sat_backend
   :project: stp-c

.. doxygenfunction:: stp_num_sat_backends
   :project: stp-c

.. doxygenfunction:: stp_sat_backend_name
   :project: stp-c

.. doxygenfunction:: stp_free
   :project: stp-c

.. doxygenfunction:: stp_last_error
   :project: stp-c

.. doxygenfunction:: stp_clear_last_error
   :project: stp-c

.. doxygenfunction:: stp_set_internal_error_policy
   :project: stp-c

.. doxygenfunction:: stp_get_internal_error_policy
   :project: stp-c

.. doxygenfunction:: stp_kind_name
   :project: stp-c

.. doxygenfunction:: stp_kind_smtlib
   :project: stp-c

.. doxygenfunction:: stp_rm_name
   :project: stp-c

.. doxygenfunction:: stp_unknown_reason_name
   :project: stp-c

.. doxygenfunction:: stp_error_code_name
   :project: stp-c

.. doxygenfunction:: stp_result_kind_name
   :project: stp-c

.. doxygenfunction:: stp_validity_name
   :project: stp-c