Commit 781df85c authored by Pascal Fontaine's avatar Pascal Fontaine
Browse files

Fixing README.md

parent 9d6fb026
This repository contains the benchmarks in ALIA logic
This repository contains the benchmarks in 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/ALIA.git
All benchmarks are licensed under a Creative Commons Attribution 4.0 International License: https://creativecommons.org/licenses/by/4.0/legalcode.
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