C++ API
=======

Include ``<stp/stp.hpp>`` and link against ``libstp``. C++17 is required.

The header makes the names in ``stp::api`` available directly in ``stp``: for example, write ``stp::Solver`` and ``stp::TermManager``.

.. toctree::
   :maxdepth: 1

   ArrayValue
   CheckBudget
   Entailment
   Error
   FloatValue
   FunctionValue
   Model
   OptionInfo
   Options
   RationalValue
   RecoverableError
   Result
   Solver
   SolverOptions
   Sort
   Statistics
   Term
   Terminator
   TermManager
   UnsafeError
   Version
   functions
   enums