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: 20 Nov 2024
