Dependencies for twee-lib-2.5
Libraries
twee-lib
- base (>=4.11 && <5)
- bytestring
- cereal
- containers
- dlist
- ghc-prim
- pretty (>=1.1.2.0)
- primitive (>=0.7.1.0)
- QuickCheck
- random
- transformers
- uglymemo
- if flag(profile)
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| llvm | Build using LLVM backend for faster code. | Disabled |
| bounds-checks | Use bounds checks for all array operations. | Disabled |
| profile | Print a profiling report after every prover run. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info