qecat(1)

NAME
qecat - Decoder for byte-encoded Qu-Prolog files.

SYNOPSIS
qecat input

DESCRIPTION
qecat is the decoder for byte-encoded Qu-Prolog files. It reads the byte-encoded file from input and writes plain text to standard output.

OPTIONS

input
    Input file for the decoder.

SEE ALSO
qc(1).

COPYRIGHT
Software Verification Research Centre, The University of Queensland, Australia 4072.