Packages with the loag use flag

dev-haskell

dev-haskell / uuagc : Attribute Grammar System of Universiteit Utrecht

  • Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs