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.
- ArrayValue
- CheckBudget
- ClauseExchange
- ClauseExchangeSettings
- Entailment
- Error
- FloatValue
- FunctionValue
- Model
- OptionInfo
- Options
- RationalValue
- RecoverableError
- Result
- SearchDiversification
- SearchPoint
- Solver
- SolverOptions
- Sort
- Statistics
- Term
- Terminator
- TermManager
- UnsafeError
- Version
- Functions and operators
- Enumerations
