solverl v1.0.3 MinizincData
Functions for converting data between Minizinc and Elixir.
Link to this section Summary
Functions
Check dzn against the model info. Currently only checking for unassigned pars.
Merge list of dzn files and/or maps into a single text that corresponds to a format of .dzn file.
Serialize output produced by MinizincParser to Elixir data.
Link to this section Types
Link to this type
data_chunk()
Specs
Link to this type
mzn_data()
Specs
mzn_data() :: data_chunk() | [data_chunk()]
Link to this section Functions
Link to this function
check_dzn(model_info)
Specs
Check dzn against the model info. Currently only checking for unassigned pars.
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.
Link to this function
to_elixir(el)
Specs
Serialize output produced by MinizincParser to Elixir data.