parser.flatzinc
Classes 
Mzn2fzn