processFlatzinc() for Gecode mainly completed (some TODOs missing - waiting for input)
processFlatzinc() for Gecode mainly completed (some TODOs missing - waiting for input)

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