Sorry, wanted to say CoMiniSatPS, here: http://cs.nyu.edu/~chanseok/cominisatps/index.html http://cs.nyu.edu/~chanseok/cominisatps/index.html One of its varia

Sorry, wanted to say CoMiniSatPS, here: http://cs.nyu.edu/~chanseok/cominisatps/index.html http://cs.nyu.edu/~chanseok/cominisatps/index.html One of its variants won the Main track of the SAT Competition of 2016, see http://baldur.iti.kit.edu/sat-competition-2016/index.php?cat=results http://baldur.iti.kit.edu/sat-competition-2016/index.php?cat... For all the solvers' source codes, see http://baldur.iti.kit.edu/sat-competition-2016/solvers/ http://baldur.iti.kit.edu/sat-competition-2016/solvers/