sci-mathematics robbat2@gentoo.org Enable support for MiniSat