...
 
Commits (2)
2019-Mann/ridecore-qf_abv-bug.smt2 filter=lfs diff=lfs merge=lfs -text
2019-Wolf-fmbench/2018E/ponylink-slaveTXlen-unsat-unrolled-mem.smt2 filter=lfs diff=lfs merge=lfs -text
2019-Wolf-fmbench/2018E/ponylink-slaveTXlen-sat-unrolled-mem.smt2 filter=lfs diff=lfs merge=lfs -text
This source diff could not be displayed because it is stored in LFS. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This source diff could not be displayed because it is stored in LFS. You can view the blob instead.
This source diff could not be displayed because it is stored in LFS. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
PLEASE do not use the download button on the top right; use this link instead: http://smt-lib.loria.fr/zip/QF_ABV.zip
**Please** **do** **not** use the download button on the top right; use this link
instead:
[http://smt-lib.loria.fr/zip/QF_ABV.zip](http://smt-lib.loria.fr/zip/QF_ABV.zip)
This is a repository of SMT-LIB benchmarks. See http://smtlib.org/ for more information about the SMT-LIB initiative.
This is a repository of SMT-LIB benchmarks.
See [http://smtlib.org](http://smtlib.org) for more information about the
SMT-LIB initiative.
This repository contains the benchmarks in QF_ABV logic. See http://smtlib.org/logics.shtml for a description of the SMT-LIB logics.
This repository contains the benchmarks in QF_ABV logic.
See http://smtlib.org/logics.shtml for a description of the SMT-LIB logics.
The benchmarks in this repository are distributed under the [Creative Commons Attribution 4.0 International License](https://creativecommons.org/licenses/by/4.0/
), unless otherwise specified in the benchmark itself (see :license info attribute in the file). If your benchmarks are included in this repository and you do not agree with this licence, please contact [the SMT-LIB co-ordinators] (http://smtlib.org/contact.shtml ).
## Cloning the repository
To clone this repository on your computer, use the git command:
```
git clone https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_ABV.git
```
**Note**: Benchmarks with a size of 10MB+ are stored via
[Git LFS](https://git-lfs.github.com/).
Make sure to install and setup Git LFS before cloning the repository.
## License
The benchmarks in this repository are distributed under the
[Creative Commons Attribution 4.0 International License](https://creativecommons.org/licenses/by/4.0/),
unless otherwise specified in the benchmark itself
(see `:license` info attribute in the file).
If your benchmarks are included in this repository and you do not agree with
this licence, please contact the
[SMT-LIB co-ordinators](http://smtlib.org/contact.shtml).