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`

---

 

有空再學習