oldflatzinc: card->set_card
oldflatzinc: card->set_card

nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,tias/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,tias/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc