stp (math/stp) Add to my watchlist
STP (Simple Theorem Provider)STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers.
Version: 20150306 License: MIT
GitHub
Statistics for selected duration
2025-Jan-29 to 2025-Feb-28
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.