MinizincData (solverl v1.1.2)

Functions for converting data between Minizinc and Elixir.

Summary

data_chunk()

mzn_data()

Check dzn against the model info. Currently only checking for unassigned pars.

to_dzn(data)

Merge list of dzn files and/or maps into a single text that corresponds to a format of .dzn file.

to_elixir(el)

Serialize output produced by MinizincParser to Elixir data.

@type data_chunk() :: Path.t() | map()

@type mzn_data() :: data_chunk() | [data_chunk()]

@spec check_dzn(any()) :: :ok | {:error, any()}

Check dzn against the model info. Currently only checking for unassigned pars.

@spec to_dzn(mzn_data()) :: binary()

Merge list of dzn files and/or maps into a single text that corresponds to a format of .dzn file.

@spec to_elixir(any()) :: binary()

Serialize output produced by MinizincParser to Elixir data.