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 GitHubMaintainers | No Maintainer |
Categories | math |
Homepage | https://stp.github.io/stp |
Platforms | darwin |
Variants |
|
"stp" depends on
lib (1)
build (5)
Ports that depend on "stp"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
stp seems to have been updated (port version: 450a95243aeec7a246af343cd86297e5ecd40765, new version: 0510509a85b6823278211891cbb274022340fa5c)
livecheck ran: 1 day, 3 hours ago