MinizincSearch (solverl v1.1.2)

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

Summary

Functions

bab(instance, branch_fun)

Branch-and-bound

better_objective_constraint(solution, objective_var, method)

destroy(values, rate, offset \\ 0)

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

find_k_handler(k, solution_handler \\ MinizincHandler.Default)

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

iterative(instance, iterations, step_fun)

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

list_to_lns_constraints(variable_name, values)

lns(instance, iterations, destruction_fun)

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

repeat(instance, step_fun)