Name Last Update
RDS Loading commit data...
RTCL/b13_tf_100 Loading commit data...
TwoSquares Loading commit data...
UCLID-pred Loading commit data...
mathsat/EufLaArithmetic/vhard Loading commit data...
pete Loading commit data...
pete2 Loading commit data...
pete3 Loading commit data...
uclid Loading commit data...
uclid2 Loading commit data...
README.md Loading commit data...

PLEASE do not use the download button on the top right; use this link instead: http://smt-lib.loria.fr/zip/QF_UFIDL.zip

This is a repository of SMT-LIB benchmarks. See http://smtlib.org/ for more information about the SMT-LIB initiative.

This repository contains the benchmarks in QF_UFIDL logic. See http://smtlib.org/logics.shtml for a description of the SMT-LIB logics.

The benchmarks in this repository are distributed under the Creative Commons Attribution 4.0 International License, unless otherwise specified in the benchmark itself (see :license info attribute in the file). If your benchmarks are included in this repository and 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:

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