Description:
Defines a list of Screamer variables.
Each variable is an integer between low and high.
Inputs :
n : length of the list
low : integer, minimum of the possible values for each variable
high : integer, maximum of the possible values for each variable
Output : a list of n integer variables between low and high.
The value depends on the backtracking caused by the constraints
|