Rules

Download the official rules.

The 2010 CFP is also available, but the official rules PDF above is the authoritative source, and takes precedence should there be a discrepancy.

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 15:01 UTC