borealis is a stochastic search solver with parallel tempering algorithm for unweighted MAX-SAT instances. 

Authors: Chao Fang, Zheng Zhu, Marinus Pennings, Helmut G. Katzgraber.