Repository

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

Project Slug

stp

Last Built

5 months ago failed

Maintainers

Home Page

https://stp.github.io/

Badge

Tags

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

Short URLs

stp.readthedocs.io
stp.rtfd.io

Default Version

latest

'latest' Version

master