Python package wmipa

Weighted Model Integration PA (Predicate Abstraction) solver.

Summary

Count	6 occurrences
State	Dead
Last occurred	07/10/2020
Habitening next	10/10/2020
Age	463 days
Average	92 days
Honeymoon	5 days
Trend	None
In degree	2
Out degree	84
External links	https://pypi.org/project/wmipa/ (PyPI) https://libraries.io/pypi/wmipa (Libraries.io)