stp ☆
« Back to VersTracker
Description:
Simple Theorem Prover, an efficient SMT solver for bitvectors
Type: Formula  |  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
Version History
Detected Version Rev Change Commit
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
« Back to VersTracker  |  Browse Packages  |  About