Commit 9d6fb026 authored by Clark Barrett's avatar Clark Barrett
Browse files

Minor change.

parent b1f40877
This repository contains the benchmarks in ALIA logic
To clone this repository on your computer, use the git command
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 for large repositories.
\ No newline at end of file
PLEASE do not use the download button on the top right, since it stresses our server for large repositories.
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