v 20150306

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.

To install stp, paste this in macOS terminal after installing MacPorts

sudo port install stp

Add to my watchlist

Installations 0
Requested Installations 0