CPSolver.Search.VariableSelector.CHB (Fixpoint v0.9.8)

Conflict-history based variable selector (https://www.gecode.org/doc-latest/MPG.pdf, p.8.5.4)

Summary

Functions

initialize(data)

Callback implementation for CPSolver.Search.VariableSelector.initialize/1.

initialize(space_data, q_score \\ 0.05)

Initialize CHB data

select(variables, data, chb_mode)

step_size(failure_count)

update(data, opts)

Callback implementation for CPSolver.Search.VariableSelector.update/2.

update_chbs(variables, failure?, shared)

variable_chbs(variables, shared)

Compute chbs of variables in one pass