Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
在配置选项卡中我输入的附加参数：C:\data\j.dzn 神秘地回复：错误：无法处理文件扩展名 dzn"。用法：mzn2fzn [] [-I] .mzn [.dzn ...]