f = "../../m_src/satisfy/satisfy.html">
      SATISFY</a>,
      a MATLAB program which
      demonstrates, for a particular circuit, an exhaustive search
      for solutions of the circuit satisfiability problem.
    </p>

    <p>
      <a href = "../../m_src/subset/subset.html">
      SUBSET</a>,
      a MATLAB library which
      enumerates, generates, ranks and unranks combinatorial objects
      including combinations, partitions, subsets, index sets, and trees.
    </p>

    <p>
      <a href = "../..