SMT Formulas for Boolean Programs from SLAM
收藏数据链接：
官方服务：
资源简介：
This archive contains SMT formulas for boolean programs that were generated with the software verifier SLAM. The archive was contributed to the SV-Benchmarks repository (when it was still hosted as SVN repository) by Nikolaj Bjorner on Nov. 21, 2012. [https://github.com/sosy-lab/sv-benchmarks/commit/9a1394fe44b97c1fe8eeaea831a3627e34eb1c11] It is not contained directly in the Git repository at https://github.com/sosy-lab/sv-benchmarks/ because GitHub does not support files larger than 200 MB.
提供机构：
LMU Munich, Germany创建时间：
2020-03-20
