Use the simple pretty printer for outputting flatzinc
Use the simple pretty printer for outputting flatzinc

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