I am contributing to the realization of tools and algorithms supporting the revised version of CVL, which will be released as open-source