solverl v0.1.6 MinizincModel

Functions to construct and access Minizinc model.

Link to this section Summary

Link to this section Types

Link to this type

model_chunk()

Specs

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

Specs

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

Link to this section Functions

Link to this function

add_constraints(model, constraints)

Link to this function

make_model(model, target \\ nil)

Link to this function

merge(model1, model2)

Link to this function

model_info(model_file, minizinc_executable \\ default_executable())