MinizincData (solverl v1.0.10)

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

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

Specs

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

Link to this section Functions

Link to this function

check_dzn(model_info)

Specs

check_dzn(map()) :: :ok | {:error, any()}

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

Specs

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.

Specs

to_elixir(any()) :: binary()

Serialize output produced by MinizincParser to Elixir data.