Dependencies for yices-painless-0.1.2
Libraries
yices-painless
- base (>3 && <5)
- containers (>=0.2)
- pretty
- strict-concurrency
- vector (>=0.7)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| yices-dynamic | Enabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info