parser.flatzinc
Classes
Mzn2fzn