Submission has opened: SAT Competition 2014 Submission SystemYou have to apply for an account on the EDACC system. Once the account has been verified (which can take up to 24h) you are able to perform your solver and benchmarks submission.
Preparation of Solver Submissions
Submissions that do not conform to the structure and content mentioned below will not be tested!Solvers are to be submitted only as source code as stated by the Rules. For a successful submission you will need a zip file containing the latex sources and a pdf file of the solver description and a zip file with the source code of the solver with the following structure and content:
- create a folder /binary
- compile or build the code
- copy all necessary executables including scripts to the folder binary
The readme.txt file should contain details about the solver (e.g. name, version, authors) and how to build and use the solver, i.e., simply run ./build.sh and any kind of extra information needed to use the solver.
The licence.txt file should contain the license information. We do not require any particular type of licence, but the minimum requirement for the license is to contain the permission to use the solver for evaluation and research purposes. If you are using source code of other solvers please be sure to also include their license information in your license file.