Commit b57db589 authored by Pascal Fontaine's avatar Pascal Fontaine

Fixing README.md

parent cd673e4a
This repository contains the benchmarks in QF_ABV logic.
This is a repository of SMT-LIB benchmarks. See http://smtlib.org/ for more information about the SMT-LIB.
This repository contains the benchmarks in QF_ABV logic. See http://smtlib.org/logics.shtml for a description of logics.
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
PLEASE do not use the download button on the top right, since it stresses our server for 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://smt-lib.loria.fr/zip/ .
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