sci nerdboy@gentoo.org Build extended version of SAT solver with additional features.