A Catalog of SMT-LIB Benchmarks

Hans-Jörg Schurr, Mathias Preiner, Aina Niemetz, Clark Barrett, Pascal Fontaine and Cesare Tinelli

A Proposal for an OMT Extension to SMT-LIB

Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli and Clark Barrett

Combining Combination Properties: an Analysis of Stable Infiniteness, Convexity, and Politeness

Guilherme Toledo, Yoni Zohar and Clark Barrett

SMT-LIB Report

Clark Barrett, Pascal Fontaine and Cesare Tinelli

Combining Combination Properties: an Analysis of Stable-Infiniteness, Convexity, and Politeness

Guilherme Toledo, Yoni Zohar and Clark Barrett

An Interactive SMT Tactic in Coq Using Abductive Reasoning

Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett

Reasoning About Vectors Using an SMT Theory of Sequences

Ying Sheng, Andres Noetzli, Andrew Reynolds, Yoni Zohar, David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark Barrett and Cesare Tinelli

Murxla: a Modular and Highly Extensible API Fuzzer for SMT Solvers

Aina Niemetz, Mathias Preiner and Clark Barrett

Smt-Switch: a Solver-agnostic C++ API for SMT Solving

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett

Extending SMT solvers to Higher-Order Logic

Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli and Clark Barrett

Towards Bit Width Independent Proofs in SMT Solvers

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark Barrett and Cesare Tinelli

CoSA: Integrated Verification for Agile Hardware Design

Cristian Mattarei, Makai Mann, Clark Barrett, Ross Daly, Dillon Huff and Pat Hanrahan

Solving Quantified Bit-Vectors using Invertibility Conditions

Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark Barrett and Cesare Tinelli

Datatypes with Shared Selectors

Andrew Reynolds, Arjun Viswanathan, Haniel Barbosa, Cesare Tinelli and Clark Barrett

Rewrites for SMT Solvers using Syntax-Guided Enumeration

Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Andres Noetzli, Mathias Preiner, Clark Barrett and Cesare Tinelli