Projects in Awesome Lists by stp
A curated list of projects in awesome lists by stp .
https://github.com/stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
cnf cryptography sat-solver smt symbolic-execution verification
Last synced: 09 Jul 2025
https://github.com/stp/stp.github.io
The website for STP, the Simple Theorem Prover
Last synced: 16 Jan 2026
https://github.com/stp/bit-vector
Mirror of Steffen Beyer's Bit::Vector Library [http://guest.engelschall.com/~sb/download/]
Last synced: 16 Jan 2026
https://github.com/stp/stp-packaging
Contains files for packaging STP on different platforms
Last synced: 16 Jan 2026