Added SatSolver project