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

The license of this software is Freeware, you can free download and free use this calculator software.