SATSolver SATSolver is a SAT solver with DIMACS format parser. License SATSolver (including the SATSolver repo) is licensed under the MIT license.