SAT Competition 2017

Participating Solvers

Solver source codes will be published after the competition results are announced

Sat Competition Proceedings - containing the solver and benchmark descriptions will be available on the 2017 SAT Conference USB Stick and online.