flamapy-fw~=2.9.0.dev0
flamapy-fm~=2.9.0.dev0
flamapy-sat~=2.9.0.dev0
flamapy-bdd~=2.9.0.dev0
flamapy-z3~=2.9.0.dev0

[all-solvers]
flamapy-sharpsat~=2.9.0.dev0
flamapy-dnnf~=2.9.0.dev0
flamapy-sdd~=2.9.0.dev0

[dev]
pytest
pytest-mock
prospector
mypy
coverage

[dnnf]
flamapy-dnnf~=2.9.0.dev0

[sdd]
flamapy-sdd~=2.9.0.dev0

[sharpsat]
flamapy-sharpsat~=2.9.0.dev0
