Skip to content
This repository has been archived by the owner on Oct 3, 2021. It is now read-only.

Commit

Permalink
Add a description where to find a collection of SMT formulas for bool…
Browse files Browse the repository at this point in the history 
…ean programs from SLAM, which were once available in the SVN version of this repository at https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/BOOL/slam.zip
  • Loading branch information
@dbeyer
dbeyer committed Mar 20, 2020
1 parent 8ff2581 commit 6c4d8bc
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions clauses/BOOL/slam.zip.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
The collection of SMT formulas representing boolean programs from SLAM
that were once available at
https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/BOOL/slam.zip
are now available at Zenodo:
https://doi.org/10.5281/zenodo.3718984

0 comments on commit 6c4d8bc

Please sign in to comment.