This is CnC, a new type of incomplete MaxSAT solver. 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 Institution of Software, Chinese Academy of Sciences Email: shaoweicai.cs@gmail.com; caisw@ios.ac.cn =========================================================== Running Cnc ------------ 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: Please run it as ./cnc