stp

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.

https://stp.github.io/stp

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

sudo port install stp

Add to my watchlist

Installations 0
Requested Installations 0