PLEASE do not use the download button on the top right, use this link instead: http://smt-lib.loria.fr/zip/QF_LRA-inc.zip
This is a repository of SMT-LIB benchmarks. See http://smtlib.org/ for more information about the SMT-LIB.
This repository contains the incremental benchmarks in QF_LRA logic. See http://smtlib.org/logics.shtml for a description of logics.
The benchmarks in this repository are distributed under the Creative Commons Attribution 4.0 International License. If your benchmarks are included in this repository while you do not agree with this licence, please contact the SMT-LIB co-ordinators.
To clone this repository on your computer, use the git command: