This is a transitional package for minisat, and can be safely removed after the installation is complete.