search

cui-unige / mcc4mcc

Model Checker Collection for the Model Checking Contest @ Petri nets
https://cui-unige.github.io/mcc4mcc/
MIT License
4 stars 0 forks source link

Add an option to compute useless characteristics #32

Closed saucisson closed 6 years ago

saucisson commented 6 years ago

...or linked characteristics. Fix #26