
It does not use Branch & Bound, thus the corresponding functions are
defined as <TT>assert false</TT>.
<PRE>
import structure Debug     from "x-alice:/lib/gecode/search-factory/Debug"
import structure MkSearch  from "x-alice:/lib/gecode/search-factory/MkSearch"
import structure Space     from "x-alice:/lib/gecode/Space"
import structure FD        from "x-alice:/lib/gecode/FD"
import structure Inspector from "x-alice:/lib/tools/Inspector"

(* The initial root space. *)
val root = Space.new () 
  
val size =