decluster — Makes sum variables superfluous by splitting summands
decluster
[-help
] [-help-all
] [-version
] [-finite
] [-report
] [-sort
] [sort
Stepper Options
] [Rewriter Options
] [Data Options
] input
.tbf
This filter reads from
(or
input
.tbf stdin
if not given) an LPE
in .tbf
format, makes
sumvariables superfluous by enlarging the number of summands
and writes the LPE to stdout
.
The sumvariables will not be removed. The tool parelm
removes them.