.\" Text automatically generated by txt2man
.TH YOSYS-SMTBMC 1 "02 November 2023" "" ""
.SH NAME
\fByosys-witness \fP- display a witness trace in human readable format
\fB
.SH SYNOPSIS
.nf
.fam C
\fByosys-witness\fP [\fIOPTIONS\fP] \fICOMMAND\fP [ARGS]\.\.\.

.fam T
.fi
.fam T
.fi
.SH OPTIONS

.TP
.B
\fB--help\fP
Show this message and exit.
.SH COMMANDS

.TP
.B
aiw2yw
Convert an AIGER witness trace into a Yosys witness trace.
.TP
.B
display
Display a Yosys witness trace in a human readable format.
.TP
.B
stats
Display statistics of a Yosys witness trace.
.TP
.B
yw2aiw
Convert a Yosys witness trace into an AIGER witness trace.
.TP
.B
yw2yw
Transform a Yosys witness trace.
.SH AUTHOR

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