Generate unique names in FlatZinc
Generate unique names in FlatZinc

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