How can I convert a txt file or a csv file into a MiniZinc datafile (dzn)?
I need to work with several excel files which include single value parameters, matrices and lists of names. The aim is to build a sequencing for a small plastic factory.
Thanks for advice