    <p>
      <a href = "../../m_src/partition_problem/partition_problem.html">
      PARTITION_PROBLEM</a>,
      a MATLAB library which
      seeks solutions of the partition problem, splitting a set of integers into
      two subsets with equal sum.
    </p>

    <p>
      <a href = "../../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>

    <