 0, cn) ;
	 
         (* Branching policy *)
	 FD.branch (root, reif2, FD.B_NONE, FD.B_MIN))
  
(* Recomputation Policy : fixed distance *)
val rdist = 3

structure Problem =
struct
  type solution = int Vector.t
  type space = Space.space

  val root = root
  val readSolution = readSolution
  fun copyq d = d mod rdist = 0
  val bab = true
  val bound = bound

  fun compare _ = assert false
  val mask = Debug.dbNone
end

structure Search = MkSearch Problem

val solutions = Search.getAllSolutions ()

val _ =