SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Slides

SMT Workshop 2018

The slides for the SMT-COMP 2018 presentation at SMT 2018 are available here.

FLoC Olympic Games

The slides for the FloC Olympic Games award presentation are available here.