resolver: lts-9.17
# resolver: lts-9.21
# resolver: lts-10.7

packages:
- .

extra-deps:
- z3-4.1.2