let
vertex_name v =
Printf
.sprintf
"\"%s\""
(
CudfAdd
.string_of_package v)