let cp_init_min_state_value = new int_cp ~group ["rule";"initializer";"integer_state";"init_min_state_value"]
  ~short_name:"iimin" 0 "lower bound for the value of a state in the initial random configuration"