let cp_rule_table = new list_cp (list_wrappers int_wrappers) ~group ["rule";"totalizing";"rule_table"]
  [[0;0;0;1;0;0;0;0;0];[0;0;1;1;0;0;0;0;0]]
  "rule_table.(current_state).(sum_of_neighbours) is the next state."