with-loag

Global USE flag

Use dev-haskell/minisat external SAT-solver to schedule all Linear Ordered AGs.


Packages describing “with-loag” as local USE flag

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

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