The library allows to validate a given vertex cover for a given graph.
git clone --recurse-submodules git@github.com:hmarkus/vc_validate.gitpip install -r requirements.txtbin/vc_validate --helpbin/vc_validate -g graphfile.gr -vc vertexcoverfile.vcpyinstaller -p $PWD:$PWD/lib/htd_validate --clean --onefile bin/vc_validateExecutable will be in dist