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

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

Summary

Functions

default_q_score()

initialize(space_data, opts)

Initialize CHB data

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

Functions

default_q_score()

initialize(space_data, opts)

Initialize CHB data

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