SatSolver C++