"#examples">examples</A> below.</P>

  <P>
    See also:
    <A href="sf-debug.html"><TT>DEBUG</TT></A>,
    <A href="sf-search.html"><TT>SEARCH</TT></A>,
    <A href="sf-distributed.html"><TT>MkEngine</TT></A> (Distributed Search).
  </P>

<?php section("import", "import"); ?>

  <PRE>
    import signature PROBLEM from "x-alice:/lib/gecode/search-factory/PROBLEM-sig"</PRE>

<?php section("interface", "interface"); ?>
  <PRE>
signature PROBLEM =
sig
  type <A href="#solution">solution</A>
  type <A href="#s