Metadata-Version: 2.4
Name: flamapy-sat
Version: 2.6.0.dev4
Summary: flamapy-sat is a plugin to flamapy module
Author-email: Flamapy <flamapy@us.es>
License-Expression: GPL-3.0-or-later
Project-URL: Homepage, https://github.com/flamapy/pysat_metamodel
Requires-Python: >=3.11
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: flamapy-fw~=2.6.0.dev4
Requires-Dist: flamapy-fm~=2.6.0.dev4
Requires-Dist: python-sat~=0.1.7.dev1
Provides-Extra: dev
Requires-Dist: pytest; extra == "dev"
Requires-Dist: pytest-mock; extra == "dev"
Requires-Dist: prospector; extra == "dev"
Requires-Dist: mypy; extra == "dev"
Requires-Dist: coverage; extra == "dev"
Dynamic: license-file

# flamapy-sat

SAT-based analysis for [flamapy](https://flamapy.org) 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

## Installation

```bash
pip install flamapy-sat
```
