This is a screenshot for the software CryptoMiniSat. This software is a simple SAT solver, is esigned to offer users a SAT solver.