stp

Versions

Description

Documentation for STP, the Simple Theorem Prover

Repository

https://github.com/stp/stp.git

Project Slug

stp

Last Built

1 week, 6 days ago passed

Maintainers

Home Page

https://stp.github.io/

Badge

Tags

cryptography, verification, smt, symbolic-execution, cnf, sat-solver

Short URLs

stp.readthedocs.io
stp.rtfd.io

Default Version

latest

'latest' Version

master