autocmd BufNewFile,BufRead *.mzn set filetype=zinc
autocmd BufNewFile,BufRead *.fzn set filetype=zinc
autocmd BufNewFile,BufRead *.dzn set filetype=zinc