Links for generatorbdd