PyPI page
Home page
Author:
None
Summary:
Unified Maude model-checking utility
Latest version:
0.18.1
Required dependencies:
maude
Optional dependencies:
matplotlib
|
pyaml
|
pymodelchecking
|
scipy
Downloads last day:
5
Downloads last week:
28
Downloads last month:
193