SAT Race 2019
Participating Solvers
Solver source codes are available here.
Solver descriptions can be found in the Proceedings of SAT Race 2019 : Solver and Benchmark Descriptions.
SAT Race 2019
OverviewGeneral Rules
Technical Details
→Submission
→Unsat Certificates
Benchmarks
Organizers
Related Events
Results
Solvers
Downloads