This is CCAnr version 2013.4.18. Email: shaoweicai.cs@gmail.com or caisw@ios.ac.cn
CCAnr is a local search solver for SAT, which is particularly designed for efficiently solving Non-Random formulas.
To build the solver, please run build.sh, and it will generate a new folder /binary and compile the codes to generate the CCAnr binary; additionally, the CCAnr binary will be copied to the /binary folder.
Please run CCAnr as ./CCAnr instance_file random_seed
Reference: Shaowei Cai, Chuan Luo, Kaile Su: CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability. SAT 2015: 1-8