
random_bound_reduction_test(+Out, +Goal, +Vars)

   Run and keep waking a constraint until ground

Arguments
   Out                 An output stream for printing the execution protocol
   Goal                A goal, usually a constraint with domain variables
   Vars                Subset of Goal's variables to be domain-reduced

Type
   library(ic_prop_test_util)

Modes and Determinism
   random_bound_reduction_test(+, +, +) is det

Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   random_bound_reduction_test / 2
