FreeBSD port math/rumur

Model checker, a formal verification tool for state machines

Summary

Count	26 occurrences
State	Dead
Last occurred	12/24/2020
Habitening next	02/17/2021
Age	570 days
Average	22 days
Honeymoon	3 days
Trend	None
In degree	13
Out degree	0
External links	https://www.freshports.org/math/rumur/ (FreshPorts) https://cgit.freebsd.org/ports/tree/math/rumur (cgit) https://svnweb.freebsd.org/ports/head/math/rumur/?view=log (SVN) https://cgit.freebsd.org/ports/tree/math/rumur/pkg-descr (Long description)