uuagc-0.9.53: dependencies

Dependencies for uuagc-0.9.53

library	array (>=0.3.0.1) base (>=4 && <5) containers (>=0.3) directory (>=1.0.1.1) filepath (>=1.1.0.4) ghc-prim (>=0.2.0.0) haskell-src-exts (>=1.11.1) mtl (>=1.1.1.1) uuagc-cabal (>=1.0.2.0) uulib (>=0.9.14) if flag(with-loag) minisat
uuagc	base (>=4 && <5) uuagc uuagc-cabal (>=1.0.2.0)

Name	Description	Default
bootstrap_external	Use an external uuagc executable for bootstrapping	Disabled
with-loag	Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info