stp
JSON →Simple Theorem Prover, an efficient SMT solver for bitvectors. Available on Homebrew and apt.
Traffic · last 30 days stale · no recent hits
total hits 6
actors 2 distinct systems
last hit 16d ago Bingbot
top countries 🇸🇬 Singapore · 🇨🇦 Canada · 🇺🇸 United States
Resources
homepagestp.github.io/ ↗