标签： minizinc
在“配置”选项卡中我添加了其他参数： C：\数据\ j.dzn 哪个密码回复： 错误：无法处理文件扩展名dzn“。 用法：mzn2fzn [] [-I] .mzn [.dzn ...]