Dependencies for smcdel-1.3.0
Libraries
smcdel
- array (>=0.5.4 && <0.6)
- base (>=4.8 && <5)
- containers (>=0.6.7 && <0.7)
- decision-diagrams (>=0.2.0 && <0.3)
- directory (>=1.3.7 && <1.4)
- filepath (>=1.4.2 && <1.5)
- graphviz (>=2999.20.2 && <2999.21)
- HasCacBDD (>=0.2.0.0 && <0.3)
- process (>=1.6.18 && <1.7)
- QuickCheck (>=2.14.3 && <2.15)
- tagged (>=0.8.0 && <0.9)
- temporary (>=1.3 && <1.4)
- text (>=2.0.2 && <2.1)
- time (>=1.12.2 && <1.13)
- if flag(with-cudd)
- cudd (==0.1.0.0)
Executables
smcdel
- if flag(cli)
- ansi-terminal (>=0.11.5 && <1.2)
- base (>=4.8 && <5)
- directory (>=1.3.7 && <1.4)
- filepath (>=1.4.2 && <1.5)
- process (>=1.6.18 && <1.7)
- smcdel
- buildable: False
smcdel-web
- if flag(web)
- base (>=4.8 && <5)
- deepseq
- file-embed
- HasCacBDD (>=0.2.0.0 && <0.3)
- js-jquery (>=3)
- scotty (>=0.11.0 && <0.20)
- smcdel
- template-haskell
- text
- warp
- buildable: False
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| cli | Enabled | |
| web | Disabled | |
| with-cudd | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info