This is a transitional package for minisat, and can be safely removed after the installation is complete.
Installed Size: 13.3 kB Architectures: amd64 arm64