PyPI page
Home page
Author:
None
Summary:
z3-plugin for the automated analysis of feature models
Latest version:
2.5.0
Required dependencies:
flamapy-fm
|
flamapy-fw
|
z3-solver
Optional dependencies:
coverage
|
mypy
|
prospector
|
pytest
|
pytest-mock
Downloads last day:
2
Downloads last week:
16
Downloads last month:
41