Dependencies for uuagc-0.9.53.1
Libraries
uuagc
- 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)
Executables
uuagc
- base (>=4 && <5)
- uuagc
- uuagc-cabal (>=1.0.2.0)
Flags
Manual Flags
| 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