Dependencies for smtlib2-0.1
library |
|
---|
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