Artifact for: "Exploring the SMT-LIB Benchmark Library"

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Hans-Jörg Schurr, François Bobot, Mathias Preiner, Aina Niemetz, Clark Barrett, Pascal Fontaine, Cesare Tinelli
DOI: 10.5281/zenodo.18192492
Cited by: 0

Abstract

This is the artifact for the paper "Exploring the SMT-LIB Benchmark Library" at TACAS 2026.

Fields of Study & Subjects

Formal Methods in Verification Logic programming and type systems Software Testing and Debugging Techniques

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
8 January 2026
Language
EN