Version
¶
struct
Version
¶
Public Members
int
major
=
0
¶
int
minor
=
0
¶
int
patch
=
0
¶
std
::
string
string
¶
“3.0.0”
std
::
string
git_sha
¶
std
::
string
git_tag
¶
std
::
string
build_info
¶
STP
The Simple Theorem Prover
Overview
Building STP
Architecture
Running STP
The 3.x API (C++, C and Python)
API reference
C++ API
ArrayValue
CheckBudget
Entailment
Error
FloatValue
FunctionValue
Model
OptionInfo
Options
RationalValue
RecoverableError
Result
Solver
SolverOptions
Sort
Statistics
Term
Terminator
TermManager
UnsafeError
Version
Functions and operators
Enumerations
C API
Python API
2.x C API handle lifetime
Array extensionality
Uninterpreted functions
Incremental solving
Bit-vector abstraction
Floating-point abstraction
Linear real arithmetic
SMT-LIB 2.7 compatibility
Source code layout
Testing
Developer tools
Making a release
Benchmarks
Source code on GitHub