Software Name: CCLS 

Version: MAX-SAT Evaluation 2015

Authors: Chuan Luo [1], Shaowei Cai [2], Kaile Su [3], Wei Wu [4], Zhong Jie [5]

Institutes: [1] Key Laboratory of High Confidence Software Technologies of Ministry of Education, Peking University, Beijing, China
            [2] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
            [3] Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Australia
            [4] Center for Quantum Computation and Intelligent Systems, University of Technology, Sydney, Sydney, Australia
            [5] NetEase, Inc., Hangzhou, China

Corresponding Paper:
Chuan Luo, Shaowei Cai, Wei Wu, Zhong Jie, Kaile Su. CCLS: An Efficient Local Search Algorithm for Weighted Maximum Satisfiability. IEEE Transactions on Computers, in press, DOI: 10.1109/TC.2014.2346196.

Note: The operating system for compiling and running the CCLS2015 solver should be 64-bit GNU/Linux.