SMT Formulas for Boolean Programs from SLAM

<p>This archive contains SMT formulas for boolean programs that were generated with the software verifier SLAM.</p> <p>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]</p> <p>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.</p>