CPSolver.Search (Fixpoint v0.10.2)

Summary

Functions

branch(variables, arg, data \\ %{})
branch(variables, variable_choice, partition_strategy, data)
default_strategy()
initialize(search, space_data)

Functions

branch(variables, arg, data \\ %{})

branch(variables, variable_choice, partition_strategy, data)

default_strategy()

initialize(search, space_data)