Speeding Up Hypotheses Merging in Multi-Trace Inference#119

Essoz merged 1 commit intomainOrderLab/TrainCheck:mainfrom

fix_multi_trace_inference_stuckOrderLab/TrainCheck:fix_multi_trace_inference_stuckCopy head branch name to clipboard