Improve VDM backend

0 jobs