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.

The solver is run in this docker environment.

Submissions directory

The creation of new submission is done through the creation of a new json file in this directory and the submission of a Pull Request.

It could be done directly from the web-interface and starting with a template: create a new submission

• The filename should start with the name of your solver and end with .json
• The continuous integration will check the format

Fields

• name: The solver name should respect the guidelines in the given in the rules of the SMT-competition (derived solver, wrapper solver, …)
• authors: (utf8 can be used? It should be checked. tuple with latin1?)
• url: The url should be valid at the time of submission and during all the competition. The url should be at zenodo for the final submission.