solverl v1.0.7 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
Link to this type
mzn_model()
Specs
mzn_model() :: model_chunk() | [model_chunk()]
Link to this section Functions
Link to this function
add_checker(checker_model, model_info)
Link to this function
add_constraints(model, constraints)
Link to this function
make_model(model)
Link to this function
merge(model1, model2)
Link to this function
method(model)
Link to this function
model_info(model_file, minizinc_executable \\ default_executable())
Link to this function