circuit satisfiability problem.
    </p>

    <p>
      <a href = "../../f77_src/timer/timer.html">
      TIMER</a>,
      FORTRAN77 programs which
      demonstrate how to compute CPU time or elapsed time.
    </p>

    <h3 align = "center">
      Reference:
    </h3>

    <p>
      <ol>
        <li>
          Eratosthenes,<br>
          A Method For Finding Prime Numbers,<br>
          Papyrus 487, <br>
          Library of Alexandria.
        </li>
      </ol>
    </p>

    <h3 align = "center">
      So