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

Maintainers	No Maintainer
Categories	math
Homepage	https://stp.github.io/stp
Platforms	darwin
Variants	debug (Enable debug binaries)

"stp" depends on

lib (1)

boost176

build (5)

bison

clang-18

cmake

flex

perl5

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: fda8c07189d7c62bc2e0e3826397fe8fc4bb2ba3)

livecheck ran: 1 day, 9 hours ago

stp (math/stp) Add to my watchlist 0