output flatzinc and minizinc modality