sci@gentoo.org Gentoo Science Project Build extended version of SAT solver with additional features. niklasso/minisat