Swcca_ms is an adaptaion of the Swcca algorithm, and is a stochastic local search solver for unweighted MAX-SAT instances. The algorithmic descriptions of SWCCA can be found in the following paper: Shaowei Cai, Kaile Su: Local search for Boolean Satisfiability with configuration checking and subscore. Artif. Intell. 204: 75-98 (2013) Authors: Shaowei Cai [1], Chuan Luo [2] Institutes: [1] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China [2] Key laboratory of High Confidence Software Technologies, Peking University, Beijing, China