SAT Competition 2018

Participating Solvers

Solver source codes are available here.

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