MinizincModel (solverl v1.1.2)

Functions to construct and access Minizinc model.

Summary

Types

model_chunk()

mzn_model()

Functions

add_checker(checker_model, model_info)

add_constraints(model, constraints)

decode_model_info(model_output)

make_model(model)

merge(model1, model2)

method(model)

model_info(model_file, solver_opts \\ [])

mzn_dzn_info(model, data, solver_opts \\ [])

Types

model_chunk()

@type model_chunk() :: Path.t() | {:model_text, binary()}

mzn_model()

@type mzn_model() :: model_chunk() | [model_chunk()]

Functions

add_checker(checker_model, model_info)

add_constraints(model, constraints)

decode_model_info(model_output)

make_model(model)

merge(model1, model2)

method(model)

model_info(model_file, solver_opts \\ [])

mzn_dzn_info(model, data, solver_opts \\ [])