SAT solver for use in Enstaller, based on the MiniSat implementation - View it on GitHub