SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Solver Submission

The solvers are submitted via pull requests to the SMT-COMP repository. To submit your solver, please follow the instructions. The detailed description of the fields in the solver JSON file is available in the schema.