Clean up Ambiguity Processor Tool

Cleaning of the Ambiguity Solver. Redundant/ineffectual code was removed. Code was cleaning and re-organized a bit The code should be easier to read as many more comments More tunable parameters Performance differences discussed in CTIDE meeting Oct 2020

Edited by Gabriel Facini

Merge request reports

Loading