Dependencies for singletons-presburger-0.5.0.0
Libraries
singletons-presburger
- base (>=4.7 && <5)
- ghc (>=7.10 && <8.11)
- ghc-typelits-presburger (>=0.4)
- mtl
- reflection
- singletons
Executables
simple-arith
- base
- equational-reasoning
- singletons
- singletons-presburger
- if !flag(examples)
- buildable: False
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| examples | Builds example | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info