Description:
Simple Theorem Prover, an efficient SMT solver for bitvectors
|
|
Type: Formula
|
Latest Version: 95393064368b7c05da4d6f0264fc3419c175c7cb@1
|
Tracked Since: Dec 28, 2025
|
|
Links:
Homepage |
formulae.brew.sh
|
|
Category: Developer tools
|
|
Tags:
smt-solver
theorem-prover
verification
bitvectors
formal-methods
|
|
Install:
brew install stp
|
About:
STP (Simple Theorem Prover) is a specialized SMT solver designed for verifying bitvector constraints with high efficiency. It excels at solving complex logical formulas involving bit-precise arithmetic and memory operations, making it a powerful tool for hardware and software verification tasks.
|
Key Features:
- High-performance bitvector solving
- Supports SMT-LIB and C APIs
- Optimized for verification tasks
- Open-source and extensible
|
Use Cases:
- Formal verification of hardware designs
- Software bug detection and analysis
- Automated reasoning for security research
|
Alternatives:
-
Z3
– Z3 is a more general-purpose SMT solver with broader theory support, while STP specializes in bitvectors
-
CVC5
– CVC5 offers advanced features for quantified formulas but may be slower on pure bitvector problems
|
| Detected |
Version |
Rev |
Change |
Commit |
| Aug 13, 2026 8:20pm |
95393064368b7c05da4d6f0264fc3419c175c7cb |
1 |
REVISION_ONLY |
45265b3f |
| Jul 31, 2026 6:33pm |
95393064368b7c05da4d6f0264fc3419c175c7cb |
0 |
VERSION_BUMP |
d9898c9f |
| Apr 3, 2026 2:51pm |
|
9 |
REVISION_ONLY |
d49eb8ff |
| Jan 24, 2026 1:44am |
|
8 |
REVISION_ONLY |
a2e9ec12 |
| Dec 16, 2024 6:40am |
|
2 |
VERSION_BUMP |
c62a53d1 |
| Dec 7, 2024 11:37am |
|
1 |
VERSION_BUMP |
7b57c1b0 |
| Dec 7, 2024 4:18am |
|
1 |
VERSION_BUMP |
d37e6d22 |
| Oct 26, 2024 9:53pm |
|
1 |
VERSION_BUMP |
b434cfeb |
| Sep 11, 2024 11:10pm |
|
1 |
VERSION_BUMP |
7ff190ff |
| Jan 24, 2024 10:43pm |
|
9 |
VERSION_BUMP |
d08806ef |
| Nov 15, 2023 10:08pm |
|
8 |
VERSION_BUMP |
368a1d9b |
| Oct 23, 2023 2:20am |
|
7 |
VERSION_BUMP |
9476d1eb |
| Oct 23, 2023 2:19am |
|
7 |
VERSION_BUMP |
9d0e9f2f |
| Sep 27, 2023 1:50am |
|
6 |
VERSION_BUMP |
5d965c6c |
| Jan 9, 2023 8:40pm |
|
5 |
VERSION_BUMP |
ad15c391 |
| Jan 9, 2023 8:40pm |
|
5 |
VERSION_BUMP |
41417bf3 |
| Dec 26, 2022 8:04pm |
|
4 |
VERSION_BUMP |
901610b7 |
| Dec 26, 2022 8:04pm |
|
4 |
VERSION_BUMP |
0b7a0aea |
|