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