qmc1
Simplification tool (by using the quine - mcclusky process)
Usage
qmc [OPTION]
Overview
Simplification tool by using the Quine - McClusky process.
Options
-
-a, --avoidast -
avoid astericks at the output
-d, --describesyntax descibe the syntax for the EQU
-
-g, --gettable -
get boolean table
-
-G --gethtmltable -
get boolean table as HTML output
-
-h, --help -
display this help and exit
-
-p, --prompt -
prompt for equation
-
-s, --source EQU -
set one side of the equation
-
-t, --table -
set boolean table
-
-T, --time -
display used time
-
-v, --verbose -
print progress
-
--version -
output version information and exit
A few samples:
-
qmc
-s"/[a+b]*[/b*c]" qmc-g-s"x + //y * [ z + /z * y ] * 1" qmc-T-s"a*/b+c+d+e*/c+f*e" qmc-p
-
(symbols are recognized as single char's)
Project Home: http://qmc.pollaknet.at
Please report bugs to <[email protected]>.
Releases
Unchanged in 11 releases since Debian 3.1 (Sarge).