Polishing release
Pre-release
Pre-release
- fixed bug with double solutions when enumerating labelings resp. repairs
- fixed bug with wrongly computed number of unobserved nodes and # measured nodes not in the network
- added descriptions to the iggy and opt-graph help messages,
- changed terminology (coloring -> labeling).