PyPI page
Home page
Author:
Flamapy
Summary:
z3-plugin for the automated analysis of feature models
Latest version:
2.6.0
Required dependencies:
flamapy-fm
|
flamapy-fw
|
z3-solver
Optional dependencies:
coverage
|
mypy
|
prospector
|
pytest
|
pytest-mock
Downloads last day:
7
Downloads last week:
63
Downloads last month:
145
7-day smoothing