flamapy-fw~=2.6.0.dev5
flamapy-fm~=2.6.0.dev5
flamapy-sat~=2.6.0.dev5
flamapy-bdd~=2.6.0.dev5
flamapy-z3~=2.6.0.dev5

[dev]
pytest
pytest-mock
prospector
mypy
coverage

[sharpsat]
flamapy-sharpsat~=2.6.0.dev4
