Links for flamapy-z3