NAME

       yosys-witness - display a witness trace in human readable format

SYNOPSIS

       yosys-witness [OPTIONS] COMMAND [ARGS]...

OPTIONS

       --help Show this message and exit.

COMMANDS

       aiw2yw Convert an AIGER witness trace into a Yosys witness trace.

       display
              Display a Yosys witness trace in a human readable format.

       stats  Display statistics of a Yosys witness trace.

       yw2aiw Convert a Yosys witness trace into an AIGER witness trace.

       yw2yw  Transform a Yosys witness trace.

AUTHOR

       This  manual page was written by Daniel Gröber <dxld@darkboxed.org> for the Debian project
       and may be used by others.

                                         03 December 2022                         YOSYS-SMTBMC(1)