Translate dat files to dzn, flattened fzn using mzn models and smt2 files. - View it on GitHub