breakid - Man Page
Symmetry detection and breaking
Synopsis
breakid [--help] [--version] [--help VAR] [--version] [--verb VAR] [--row VAR] [--bin VAR] [-s VAR] [-t VAR] [--small VAR] [--relaxed VAR] files
Description
Symmetry breaking tool. breakid [options] inputfile outputfile
Positional arguments
- files
input and optionally file [nargs: 0 or more]
Optional arguments
- -h, --help
shows help message and exits
- -v, --version
prints version information and exits
- -h, --help
Print help [nargs=0..1] [default: false]
- -v, --version
Print version info
- --verb
[0-10] Verbosity [nargs=0..1] [default: 1]
- --row
Enable/disable detection and breaking of row interchangeability [nargs=0..1] [default: true]
- --bin
Use/don't use construction of additional binary symmetry breaking clausesbased on stabilizer subgroups [nargs=0..1] [default: true]
- -s
Limit the size of the constructed symmetry breaking formulas, measured as the number of auxiliary variables [nargs=0..1] [default: 50]
- -t
Upper limit on computing steps spent in kilo-steps, approximate measure for time [nargs=0..1] [default: 9223372036854775807]
- --small
Enable/disable compact symmetry breaking encoding, use Shatter's encoding instead [nargs=0..1] [default: false]
- --relaxed
Enable/disable relaxing constraints on auxiliary encodingvariables, use longer encoding instead [nargs=0..1] [default: false]