
most_constrained_per_value(?Var, ?Criterion)

   Generic search compatible variable selection method,

Arguments
   Var                 Domain variable or integer
   Criterion           Variable

Type
   library(gfd)

Description

This predicate is designed to be used as a variable selection method
with generic search (lib(gfd_search)), and should be used with 
gfd_search's delete/5 and search/6. The effect is to select the first
variable with the the largest value of (domain size)/(number of constraints).
(rounded to the nearest integer)


See Also
   gfd_search : delete / 5, gfd_search : search / 6
