KALIS_RANDOM_VARIABLE
| 
     Description
     | 
     Random variable selection heuristic
     | ||
| 
     Type
     | 
     String, read only
     | ||
| 
     Values
     | 
 | ||
| 
     Notes
     | 
     Passes this constant to the constructor of branching schemes (for example
     assign_var) to specify the variable selection heuristic. The random variable heuristic selects non-instantiated variables in a random order.
     | ||
| 
     See also
     | 
 
