PyPI page
Home page
Author:
Flamapy
Summary:
flamapy-sharpsat is a plugin to flamapy providing approximate model counting and almost-uniform sampling
Latest version:
2.6.0
Required dependencies:
flamapy-fm
|
flamapy-fw
|
pyunigen
Optional dependencies:
coverage
|
mypy
|
prospector
|
pytest
|
pytest-mock
Downloads last day:
0
Downloads last week:
2
Downloads last month:
35
7-day smoothing