Dependencies for smtlib2-0.3
Libraries
smtlib2
- array
- atto-lisp (>=0.2 && <0.3)
- attoparsec
- base (>=4 && <5)
- blaze-builder
- bytestring
- containers
- data-fix
- mtl
- process
- tagged
- text
- transformers
- if flag(withconstraints)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| withconstraints | Enables the use of the constraint-kind extension which is needed to parse | Enabled |
| withdatakinds | Enables the use of the data-kinds extension which is needed for typed bitvectors. | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info