scrub-obsolete Package - minisat+

No unpublished successful runs for minisat+.