haskell@gentoo.org Gentoo Haskell Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs