Commit 6dd1e279 authored by Mathias Preiner's avatar Mathias Preiner

Squashed commit of the following:

commit 8e992962
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 2 16:53:39 2019 -0700

    Update README.md.

commit 2b9b9153
Author: Mathias Preiner <mathias.preiner@gmail.com>
Date:   Thu May 2 16:25:07 2019 -0700

    Move benchmarks from pending repository.
parent 60109fc0
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).
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment