PyPI page
Home page
Author:
ningit
Summary:
Unified Maude model-checking utility
Latest version:
0.18.1
Required dependencies:
maude
Optional dependencies:
matplotlib
|
pyaml
|
pymodelchecking
|
scipy
Downloads last day:
2
Downloads last week:
26
Downloads last month:
95
7-day smoothing