README.md 312 Bytes
Newer Older
admin smt-lib's avatar
admin smt-lib committed
1
2
3
4
5
6
7
This repository contains the benchmarks in QF_ALIA logic.

To clone this repository on your computer, use the git command:

git clone https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks/QF_ALIA.git

PLEASE do not use the download button on the top right, since it stresses our server for large repositories.