<?php include("macros.php3"); ?>
<?php heading("The PROBLEM signature", "The <TT>PROBLEM</TT> signature"); ?>

<P></P>
<?php section("synopsis", "synopsis"); ?>
  <PRE>
    signature PROBLEM</PRE>
   <P>A <TT>PROBLEM</TT> is a specification of a constraint problem, including recomputation policy,
   debug level, and branch and bound optimization. A structure with this signature can be passed as an argument
   to the <a href="sf-search.html"<TT>MkSearch</TT></A> functor.</P>
   <P>Have a look at the <A href=