Added solution logging to PGIA.
Remove unnecessary call to logger.
Use MiniSat for the solver tests.