Dependencies for puresat-0.1
Libraries
puresat
puresat:internal
- base (>=4.18.2.1 && <4.21)
- containers (>=0.6.7 && <0.8)
- primitive (>=0.9.0.0 && <0.10)
puresat:dimacs
- base
- bytestring (>=0.11.5.3 && <0.12 || >=0.12.1.0 && <0.13)
- parsec (>=3.1.16.1 && <3.2)
- puresat
Executables
puresat
- base
- optparse-applicative (>=0.18.1.0 && <0.19)
- puresat
- if !flag(exe)
- buildable: False
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| exe | Build executable | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info