bessolve

Manual page for bessolve

Usage

bessolve   [OPTION]... [INFILE]

Description

Solve the BES in INFILE. If INFILE is not present, stdin is used.

Command line options

-j , --print-justification

print justification for solution. Works only with the local fixpoint strategy.

-sSTRATEGY , --strategySTRATEGY

solve the BES using the specified STRATEGY:

spm

Small progress measures

gauss

Gauss elimination (inefficient; plain implementation)

lf

Local fixpoints (advanced form of Gauss elimination, especially effective without alternating fixed points)

--timings[FILE]

append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

Standard options

-q , --quiet

do not display warning messages

-v , --verbose

display short intermediate messages

-d , --debug

display detailed intermediate messages

--log-levelLEVEL

display intermediate messages up to and including level

-h , --help

display help information

--version

display version information

Author

Jeroen Keiren