DurianSat is a SAT solver that implements some newly proposed phase selection heuristics in SAT 2020 paper which leads to a good performance gain in MapleLCMDistChronoBTv3 (the SAT Race '19 winner).
The proposed heuristics - Decaying Polarity Score and LSIDS are available in decay-pol and lsids branches respectively.
To build and install, issue:
# getting the code
git clone https://github.com/meelgroup/duriansat
git checkout <branchname>
cd duriansat/simp
make
./duriansat filename.cnf