robbat2@gentoo.org sci-mathematics@gentoo.org Gentoo Mathematics Project Enable support for MiniSat Enable support for zChaff