Index
STP
The Simple Theorem Prover
Overview
Building STP
Architecture
Legacy C API handle lifetime
Array extensionality
Incremental solving
Bit-vector abstraction
Source code layout
Testing
Making a release
Benchmarks
Source code on GitHub
