man(1) Manual page archive


     QUINE(10.1)                                           QUINE(10.1)

     NAME
          quine, cover, hazard - logic programs

     SYNOPSIS
          cda/quine
          cda/cover [ -s ]
          cda/hazard [ -n ] ...

     DESCRIPTION
          Quine, cover, and hazard read the standard input and write
          the standard output, both in the format of minterm(10.6).

          Quine produces a Quine-McCluskey reduction of the input
          data.

          Cover does the covering problem, which is exponentially hard
          and may not finish in reasonable time.  The -s option causes
          cover to not do the complete problem and go faster.

          Hazard adds terms to eliminate internal hazards that can
          occur in PAL's and PLA's. The hazard can occur when the form
          of the equations is (a&x) | (b& !x).  When a and b are both
          true a glitch may appear on the output when x is changed.
          Hazard eliminates it by adding another term (a&b).  If there
          are any -n option flags for hazard, only those outputs whose
          symbols are in the set of n 's will be modified by hazard,
          otherwise all outputs are (possibly) modified.

     SEE ALSO
          lde(10.1), minterm(10.6), xpal(10.1)

     FILES
          qtmpn and bsortn in the working directory for temporaries.