Links for bdd-coder