Overflows on parametrization space now explicit.
Now skipping repetitive edges in robustness
Fixed path tailing.
Reinstated the robustness for path tailing.
The output pad in rewrite fixed to a tab.
Removed the pad variable.
Optimized witness search.
Relaxed constraints on variables names.
stable/transient added to the constraints.
Egde transientness implemented.
Synthesis manager construction simplified.
Newly iterating over pointers of XML.
Now using ranges in places.
New system of parsing constraints.
Parsing counting constraints.
Outputting bistability.
Robustness possibly works?
For finite works with mins and maxes.
Missed file added.
Hotfix on stable edges.