The International Satisfiability Modulo Theories (SMT) Competition.
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.
The solver is run in this docker environment.