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

Output the decision trees #27

Closed saucisson closed 6 years ago

saucisson commented 6 years ago

It may be interesting to look at the shape of the tree in order to identify useful or useless characteristics.

Maybe the "don't care" pattern of decision diagrams appears!