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

Summary

Functions

initialize(data)

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

select(variables, space_data)

update(data, opts)

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