This is CnC-LS, a new type of incomplete MaxSAT solver, which integrates a CnC (Construction and Cut) method and a local search method. CnC is a incomplete MaxSAT solver based on a new paradigm, which is neither local search nor branch and bound, and it does not call a SAT solver. Author: Shaowei Cai [1], Haochen Zhang [2] [1] State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences [2] School of Computer Science and Information Technology, Northeast Normal University Email: caisw@ios.ac.cn =========================================================== Running Cnc-LS ------------ Running Environment: CnC has been complied under a Linux x86_64 Operation System, and is also supposed to be run under such a system. Running Command: ./cnc-ls