Skip to content

Apply a GraphRenaming prior to passing a graph to the native VC solver

Moritz Bergenthal requested to merge vcsolver-renaming into main

Merge request reports