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

Packages describing “loag” as local USE flag

Package “loag” Flag Description
dev-haskell/uuagc Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs

All packages providing a “loag” USE flag (1)