z3-plugin for the automated analysis of feature models
Project description
flamapy-z3
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
Installation
pip install flamapy-z3
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
flamapy_z3-2.6.0.dev2.tar.gz
(19.7 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file flamapy_z3-2.6.0.dev2.tar.gz.
File metadata
- Download URL: flamapy_z3-2.6.0.dev2.tar.gz
- Upload date:
- Size: 19.7 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.11.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
51e14ecb9165a81984a6a5fbf50959eebfc79aab6c6cd92b71655b8f2ec74943
|
|
| MD5 |
2ec431baefa985d65ac0d2f9591b4532
|
|
| BLAKE2b-256 |
463ddd1d9fb076da296732dbd54e649b29363cacd5d154f53fcc884a87b33562
|
File details
Details for the file flamapy_z3-2.6.0.dev2-py3-none-any.whl.
File metadata
- Download URL: flamapy_z3-2.6.0.dev2-py3-none-any.whl
- Upload date:
- Size: 27.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.11.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2468b2a8cbfc16627b953f66c158402f426d432ae3b46b5befc796077d6b2e67
|
|
| MD5 |
f904484deb18c330c52988c2f35d2330
|
|
| BLAKE2b-256 |
562940ed340cd07e5a0d17c8d341856d0423edb2da1601abaef75f89af8297db
|
