Published March 20, 2020
| Version 1.0
Dataset
Open
SMT Formulas for Boolean Programs from SLAM
Description
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.
Files
slam.zip
Files
(271.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5a8aa958e1e786b1d6b0ea00f2d5de29
|
271.9 MB | Preview Download |