Skip to content

Add VC algorithm

Enna Gerhard requested to merge peaty into main

This adds a VC solving algorithm, the VC solver developed for PACE 2019

Merge request reports