encoding clauses in flatzinc + enable explanations in mistral_sat + rewriting in flatzinc