stp / stp
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
- Repository stars
- 594All-time #55,498
- Fork
- 145
- Last push
- updated 9 days ago
- Repository created
- since 2013
About
Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.Summarised by AI from the README; the original prevails
Author description: Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.
Basic listing based on official public information; functionality has not been independently evaluated.
Check before adopting
- No license declared: commercial use and redistribution terms are unknown.
- Pricing
- Pricing not verifiedCheck current official software, hosting, model and infrastructure pricing.