Commit a00702bb authored by Pascal Fontaine's avatar Pascal Fontaine
Browse files

README.md

parent 5fcfd8f4
......@@ -8,5 +8,5 @@ To clone this repository on your computer, use the git command:
git clone https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/ALIA.git
PLEASE do not use the download button on the top right, since it stresses our server when used over large repositories.
PLEASE do not use the download button on the top right, since it stresses our server when used over large repositories. Zip files are available on the following page: http://www.cs.nyu.edu/~barrett/smtlib/ .
Supports Markdown
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