p.html">
      SATISFY_OPENMP</a>,
      a FORTRAN77 program which
      demonstrates, for a particular circuit, an exhaustive search
      for solutions of the circuit satisfiability problem,
      using OpenMP for parallel execution.
    <p>

    <p>
      <a href = "../../f77_src/schedule_openmp/schedule_openmp.html">
      SCHEDULE_OPENMP</a>,
      a FORTRAN77 program which
      demonstrates the default, static, and dynamic methods of "scheduling"
      loop iterations in OpenMP to avoid work imbalanc