CPSolver.Search.VariableSelector.MostConstrained (Fixpoint v0.13.2)

Link to this section Summary

Link to this section Functions

Link to this function

initialize(data, opts)

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

Link to this function

update(data, opts)

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