Pro úspěšné přeložení programu je potřeba mít nainstalovaný CUDD. Ten najdete v kořenovém adresáři. Aby bylo možno připojit k výslednému spustitelnému souboru dynamické knihovny CUDDu, je třeba umístit adresář CUDDu a adresář Collapsing toolu do stejného adresáře. Druhou možností je potom upravit v Makefile cesty k dynamickým knihovnám.