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-17

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 error

Error: livecheck failed for stp: extracted version '26e5463b8261109f192b501ed830e631464e2bb6' is older than livecheck.version '450a95243aeec7a246af343cd86297e5ecd40765'

last updated: 22 hours ago

stp (math/stp) Add to my watchlist 0