SMT-based analysis for flamapy feature models with typed attributes (Integer, Real, String), built on the Z3 solver.
Documentation: https://docs.flamapy.org/framework/plugins/z3_plugin
pip install flamapy-z3| Name | Name | Last commit date | ||
|---|---|---|---|---|
SMT-based analysis for flamapy feature models with typed attributes (Integer, Real, String), built on the Z3 solver.
Documentation: https://docs.flamapy.org/framework/plugins/z3_plugin
pip install flamapy-z3