Links for flamapy-bdd-colosal