SAT Competition 2017

Participating Solvers

Solver source codes are available here

Solver descriptions can be found in the Proceedings of the SAT Competition 2017: Solver and Benchmark Descriptions