STP是一种无量化位向量理论的约束求解器，它可以解决由程序分析工具、定理证明器、自动错误查找器、密码算法、智能模糊器和模型检验器产生的各种问题。
* Homepage: https://stp.github.io/* Ubuntu PPA: https://launchpad.net/~simple-theorem-prover/+archive/ubuntu/ppa/+packages* Docker image: `docker pull msoos/stp`
有空再学习
