Example obtained from "Finite Domain Constraint Programming in Oz"
Maria and Clara are both heads of households, and both families have three
boys and three girls.
Sequential constraints
constructed from
an array of n integer variables (v[0], ..., v[n-1]) and
an array of n positive integer constants (a[0], ..., a[n-1]).
Serialized constraints
constructed from
an array of n integer variables (v[0], ..., v[n-1]) and
an array of n positive integer constants (a[0], ..., a[n-1]).