The version is 2.9.0. CryptoMiniSat is a simple SAT solver, is esigned to offer users a SAT solver. This tool aims to become a premiere SAT solver with all the features and speed of successful SAT solvers.