Sorry, wanted to say CoMiniSatPS, here:

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...

For all the solvers' source codes, see

http://baldur.iti.kit.edu/sat-competition-2016/solvers/