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]

Info

July 2024 breakid 3.1.2