New distance metric - Githubissues

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

Closed petitgrizzlies closed 6 years ago

petitgrizzlies commented 6 years ago

Use a new distance metric. Value on each dimension can't exceed a certain bound.

saucisson commented 6 years ago

Fix #8