CryptoMiniSat
GIT revision: e540792aa3a01ec047b005b6351247fa87ae6eb6
