MinizincData.to_dzn
You're seeing just the function
to_dzn
, go back to MinizincData module for more information.
Link to this function
to_dzn(data)
Specs
Merge list of dzn files and/or maps into a single text that corresponds to a format of .dzn file.