Packages for VLE: output, subformalisms, examples