flamapy-fw~=2.5.0
flamapy-fm~=2.5.0
flamapy-sat~=2.5.0

[dev]
pytest
pytest-mock
ruff
mypy
coverage

[z3]
flamapy-z3~=2.5.0
