MinizincSearch (solverl v1.0.12)

Meta-search, such as LNS, find_k_solutions, BAB (todo)...

Link to this section Summary

Link to this section Functions

Link to this function

bab(instance, branch_fun)

Branch-and-bound

Link to this function

better_objective_constraint(solution, objective_var, method)

Link to this function

destroy(values, rate, offset \\ 0)

Link to this function

destroy_var(variable_name, values, destruction_rate, offset \\ 0)

Link to this function

find_k_handler(k, solution_handler \\ MinizincHandler.Default)

Make a handler that breaks after k solutions found by a given solution handler.

Link to this function

iterative(instance, iterations, step_fun)

Run for a given number of iterations. 'step_fun' is a function that controls the execution.

Link to this function

list_to_lns_constraints(variable_name, values)

Link to this function

lns(instance, iterations, destruction_fun)

Link to this function

lns(model, data \\ [], solver_opts \\ [], server_opts \\ [], iterations, destruction_fun)

Link to this function

repeat(instance, step_fun)