Metadata-Version: 2.4
Name: flamapy-z3
Version: 2.6.0.dev0
Summary: z3-plugin for the automated analysis of feature models
Author-email: Flamapy <flamapy@us.es>
License-Expression: GPL-3.0-or-later
Project-URL: Homepage, https://github.com/flamapy/z3_metamodel
Requires-Python: >=3.9
Description-Content-Type: text/markdown
Requires-Dist: flamapy-fw~=2.6.0.dev0
Requires-Dist: flamapy-fm~=2.6.0.dev0
Requires-Dist: z3-solver~=4.14.1.0
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"

# flamapy-z3

SMT-based analysis for [flamapy](https://flamapy.org) feature models with typed
attributes (Integer, Real, String), built on the [Z3](https://github.com/Z3Prover/z3)
solver.

**Documentation:** https://docs.flamapy.org/framework/plugins/z3_plugin

## Installation

```bash
pip install flamapy-z3
```
