If I have a minizinc file (.mzn) and an accompanying master data file(.dzn), which will be used to process any given data file from the business user (.dzn), is there a way for me to provide the first 2 files as a "compiled" version, so that the business user can just run minizinc with their own data file every day? ( without having access to my original minizinc .mzn source file )
How does one usually "productionize" a minizinc solution in a corp environment?
I dont find any mention about this in the manual. Not sure if fzn is relevant to this.