Dependencies for alms-0.6.9
Executables
alms
- array (>=0.3)
- base (>=4 && <5)
- containers (>=0.1)
- directory (>=1.0)
- fgl (>=5)
- filepath (>=1.1)
- HUnit (>=1.2)
- incremental-sat-solver (>=0.1.7)
- mtl (>=1.1)
- network (>=2.2)
- pretty (>=1)
- QuickCheck (>=2)
- random (>=1)
- stm (>=2.0)
- syb (>=0.1)
- template-haskell (>=2.0)
- transformers (>=0.2)
- tuple (>=0.2)
- if flag(readline)
- readline (>=1.0)
- if flag(editline)
- editline (>=0.2.1)
- if flag(parsec3)
- parsec (>=3 && <4)
- parsec (>=2 && <3)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| unicode | Use Unicode symbols for pretty-printing | Enabled |
| editline | Enable line editing using the editline package | Enabled |
| parsec3 | Use version 3 of the parsec package | Enabled |
| readline | Enable line editing using the readline package | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info