% déclare une variable entière qui prend ses valeurs
% dans l'intervalle [0,9]
var  0..9: S;

# variable entière M
var int: M;

% déclare un tableau de N variables entières qui prennent
% leurs valeurs dans l'intervalle [0,1]
array[1..N] of var 0..1: x;