
locate(+Vars, ++Precision)

   Locate solution intervals for Vars by splitting and search.

Arguments
   Vars                List of variables
   Precision           Minimum required precision (float)

Type
   library(ria)

Description
Locate solution intervals for the given variables with the required
precision. This works well if the problem has a finite number of solutions.
locate/2,3 work by nondeterministically splitting the ranges of the variables
until they are narrower than Precision.

See Also
   locate / 3, locate / 4, squash / 3
