STP——SMT求解器

STP是一种无量化位向量理论的约束求解器，它可以解决由程序分析工具、定理证明器、自动错误查找器、密码算法、智能模糊器和模型检验器产生的各种问题。

* Homepage: https://stp.github.io/
* Ubuntu PPA: https://launchpad.net/~simple-theorem-prover/+archive/ubuntu/ppa/+packages
* Docker image: `docker pull msoos/stp`

---

 

有空再学习