Rules

Download the rules.

Submission this year will be through the SMT-Exec service, an execution service for SMT solvers. You are encouraged to upload early and often to test your solver on the competition infrastructure. SMT-Exec allows you to keep such submissions private, and when you have completed your competition solver, you can upload the final version of your solver for competition, or mark one of your previous uploads as your competition submission.

Log in to SMT-Exec

Last modified: Tue 17 Feb 2015 14:58 UTC