flamapy-sat

SAT-based analysis for flamapy feature models (PySAT backend, giving access to more than ten SAT solvers). Also ships the diagnosis metamodel (conflict detection and diagnosis).

Documentation:

• SAT plugin: https://docs.flamapy.org/framework/plugins/sat_plugin
• Diagnosis plugin: https://docs.flamapy.org/framework/plugins/diagnosis_plugin

pip install flamapy-sat