haskell@gentoo.org Gentoo Haskell Use dev-haskell/minisat external SAT-solver to schedule all Linear Ordered AGs.