SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

Website is online!

The website for SMT-COMP 2025 is online including the important dates and the new organizing team.