CPSolver.Search.ValueSelector.Random (Fixpoint v0.9.7)

Summary

Functions

initialize(data)

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