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