flamapy-fw~=2.6.0.dev0
flamapy-fm~=2.6.0.dev0
z3-solver~=4.14.1.0

[dev]
pytest
pytest-mock
prospector
mypy
coverage
