.TH QMC: "1" "November 2003" "QMC: simplification tool (by using the Quine - McClusky process)" "User Commands"
.SH NAME
QMC: \- simplification tool (by using the Quine - McClusky process)
.SH SYNOPSIS
.B qmc
[\fIOPTION\fR]
.SH DESCRIPTION
Simplification tool by using the Quine - McClusky process.
.SH OPTIONS
.TP
\fB\-a\fR, \fB\-\-avoidast\fR
avoid astericks at the output
.HP
\fB\-d\fR, \fB\-\-describesyntax\fR descibe the syntax for the EQU
.TP
\fB\-g\fR, \fB\-\-gettable\fR
get boolean table
.TP
\fB\-G\fR  \fB\-\-gethtmltable\fR
get boolean table as HTML output
.TP
\fB\-h\fR, \fB\-\-help\fR
display this help and exit
.TP
\fB\-p\fR, \fB\-\-prompt\fR
prompt for equation
.TP
\fB\-s\fR, \fB\-\-source\fR EQU
set one side of the equation
.TP
\fB\-t\fR, \fB\-\-table\fR
set boolean table
.TP
\fB\-T\fR, \fB\-\-time\fR
display used time
.TP
\fB\-v\fR, \fB\-\-verbose\fR
print progress
.TP
\fB\-\-version\fR
output version information and exit
.SS "A few samples:"
.IP
qmc \fB\-s\fR "/[a+b]*[/b*c]"
qmc \fB\-g\fR \fB\-s\fR "x + //y * [ z + /z * y ] * 1"
qmc \fB\-T\fR \fB\-s\fR "a*/b+c+d+e*/c+f*e"
qmc \fB\-p\fR
.IP
(symbols are recognized as single char's)
.PP
Project Home: http://qmc.pollaknet.at
.br
Please report bugs to <thomas@pollaknet.at>.
.SH COPYRIGHT
Copyright \(co 2000  Thomas Pollak
.PP
This program is free software; you can redistribute it and/or
modify it under the terms of the GNU General Public License as
published by the Free Software Foundation; either version 2 of
the License, or any later version.
.PP
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
.PP
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.