fix(paperbench): preserve solver shortnames in metrics parsing - #174
Open
sylvesterkaczmarek wants to merge 2 commits into
Open
fix(paperbench): preserve solver shortnames in metrics parsing#174sylvesterkaczmarek wants to merge 2 commits into
sylvesterkaczmarek wants to merge 2 commits into
