solverl v1.0.3 MinizincSearch
Meta-search, such as LNS, find_k_solutions, BAB (todo)...
Link to this section Summary
Functions
Branch-and-bound
Make a handler that breaks after k solutions found by a given solution handler.
Run for a given number of iterations. 'step_fun' is a function that controls the execution.
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