Kissat_MAB_CoRephase is a CDCL SAT solver that integrates various rephasing heuristics using the MAB (Multi-Armed Bandit) algorithm. It is built upon the state-of-the-art solver, Kissat.
Run ./configure && make test to configure, build and test in build.