Allow to use CryptoMiniSat4 as an option