Initial commit.

README.md

+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 UFBVLIA logic.
+See [http://smtlib.org/logics.shtml](http://smtlib.org/logics.shtml)
+for a description of the SMT-LIB logics.
+
+## 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/UFBVLIA.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).