smtlib2-0.3: dependencies

Dependencies for smtlib2-0.3

library	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) constraints

Automatic Flags

Name	Description	Default
withconstraints	Enables the use of the constraint-kind extension which is needed to parse `map`-expressions.	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