Translate dat files to dzn, flattened fzn using mzn models and smt2 files.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool