def setup_command_line(parser):
"""Setup the command line options for graph automorphism formula
Arguments:
- `parser`: parser to load with options.
"""
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Perfect Matching Principle formula
Arguments:
- `parser`: parser to load with options.
"""
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for graph automorphism formula
Arguments:
- `parser`: parser to load with options.
"""
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Perfect Matching Principle formula
Arguments:
- `parser`: parser to load with options.
"""
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for k-clique formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('k',metavar='<k>',type=int,action='store',help="size of the clique to be found")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for vertex cover formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('k',metavar='<k>',type=int,action='store',help="size of the vertex cover")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for graph isomorphism formula
Arguments:
- `parser`: parser to load with options.
"""
SimpleGraphHelper.setup_command_line(parser,suffix="1",required=True)
SimpleGraphHelper.setup_command_line(parser,suffix="2",required=True)
def setup_command_line(parser):
"""Setup the command line options for k-color formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('k',metavar='<k>',type=int,action='store',help="number of available colors")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for graph isomorphism formula
Arguments:
- `parser`: parser to load with options.
"""
SimpleGraphHelper.setup_command_line(parser, suffix="", required=True)
SimpleGraphHelper.setup_command_line(parser, suffix="T", required=True)
def setup_command_line(parser):
"""Setup the command line options for dominating set formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('d',metavar='<d>',type=int,action='store',help="size of the dominating set")
parser.add_argument('--alternative','-a',action='store_true',default=False,help="produce the provably hard version")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for ramsey witness formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('k', metavar='<k>', type=int,
action='store', help="size of the clique to be found")
parser.add_argument('s', metavar='<s>', type=int,
action='store', help="size of the stable to be found")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for dominating set formula
Arguments:
- `parser`: parser to load with options.
"""
group = parser.add_mutually_exclusive_group(required=True)
group.add_argument('--d',metavar='<d>',type=int,action='store',help="size of the cover")
group.add_argument('--rational',action='store_true',help="Set size to V/2")
group.add_argument('--no-rational',action='store_true',help="Set size to V/2-1")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for dominating set formula
Arguments:
- `parser`: parser to load with options.
"""
group = parser.add_mutually_exclusive_group(required=True)
group.add_argument('--d',metavar='<d>',type=int,action='store',help="size of the dominating set")
group.add_argument('--regular',action='store_true',help="Set size to V/(deg+1)")
group.add_argument('--tiling',action='store_true',help="Add tiling constraints")
parser.add_argument('--seed',action='store_true',help="Set some vertex to true")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for k-color formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('k',
metavar='<k>',
type=int,
action='store',
help="number of available colors")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for dominating set formula
Arguments:
- `parser`: parser to load with options.
"""
group = parser.add_mutually_exclusive_group(required=True)
group.add_argument('--d', metavar='<d>', type=int,
action='store', help="size of the cover")
group.add_argument('--rational', action='store_true',
help="Set size to V/2")
group.add_argument(
'--no-rational', action='store_true', help="Set size to V/2-1")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
group = parser.add_mutually_exclusive_group(required=True)
group.add_argument('--mass',
metavar='<T>',
type=int,
action='store',
help="Truth mass in the unbalancedness constraint")
group.add_argument('--rational',
action='store_true',
help="Set truth mass to 2E")
group.add_argument('--no-rational',
action='store_true',
help="Set truth mass to 2E-1")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Graph ordering principle formula
Arguments:
- `parser`: parser to load with options.
"""
g=parser.add_mutually_exclusive_group()
g.add_argument('--total','-t',default=False,action='store_true',help="assume a total order")
g.add_argument('--smart','-s',default=False,action='store_true',help="encode 'x<y' and 'x>y' in a single variable (implies totality)")
g.add_argument('--knuth2', action='store_const', dest='knuth',const=2,
help="transitivity axioms: \"(i<j)(j<k)->(i,k)\" only for j>i,k")
g.add_argument('--knuth3', action='store_const', dest='knuth',const=3,
help="transitivity axioms: \"(i<j)(j<k)->(i,k)\" only for k>i,j")
parser.add_argument('--plant','-p',default=False,action='store_true',help="allow a minimum element")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Graph ordering principle formula
Arguments:
- `parser`: parser to load with options.
"""
g=parser.add_mutually_exclusive_group()
g.add_argument('--total','-t',default=False,action='store_true',help="assume a total order")
g.add_argument('--smart','-s',default=False,action='store_true',help="encode 'x<y' and 'x>y' in a single variable (implies totality)")
g.add_argument('--knuth2', action='store_const', dest='knuth',const=2,
help="transitivity axioms: \"(i<j)(j<k)->(i,k)\" only for j>i,k")
g.add_argument('--knuth3', action='store_const', dest='knuth',const=3,
help="transitivity axioms: \"(i<j)(j<k)->(i,k)\" only for k>i,j")
parser.add_argument('--plant','-p',default=False,action='store_true',help="allow a minimum element")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Tseitin formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('--charge',metavar='<charge>',default='first',
choices=['first','random','randomodd','randomeven'],
help="""charge on the vertices.
`first' puts odd charge on first vertex;
`random' puts a random charge on vertices;
`randomodd' puts random odd charge on vertices;
`randomeven' puts random even charge on vertices.
""")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Tseitin formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('--charge',metavar='<charge>',default='first',
choices=['first','random','randomodd','randomeven'],
help="""charge on the vertices.
`first' puts odd charge on first vertex;
`random' puts a random charge on vertices;
`randomodd' puts random odd charge on vertices;
`randomeven' puts random even charge on vertices.
""")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for dominating set formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument('d',
metavar='<d>',
type=int,
action='store',
help="size of the dominating set")
parser.add_argument('--alternative',
'-a',
action='store_true',
default=False,
help="produce the provably hard version")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
"""Setup the command line options for Tseitin formula
Arguments:
- `parser`: parser to load with options.
"""
parser.add_argument(
'--charge',
metavar='<charge>',
default='first',
choices=['first', 'random', 'randomodd', 'randomeven', '0', '1'],
help="""charge on the vertices.
`first' puts odd charge on first vertex;
`random' puts a random charge on vertices;
`randomodd' puts random odd charge on vertices;
`randomeven' puts random even charge on vertices.
""")
group = parser.add_mutually_exclusive_group()
group.add_argument(
"--extendedPBAnyHelper",
action='store_true',
help=
"Encode xor as pseudo boolean constraint with extended variables.")
group.add_argument(
"--extendedPBOneHelper",
action='store_true',
help="""Encode xor as pseudo boolean constraint with extended
variables, such that exactly one of the extension variables ist
true.""")
group.add_argument(
"--extendedPBExpHelper",
action='store_true',
help="""Encode xor as pseudo boolean constraint with extended
variables, using powers of two encoding.""")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
group = parser.add_mutually_exclusive_group(required=True)
group.add_argument('--mass',metavar='<T>',type=int,action='store',help="Truth mass in the unbalancedness constraint")
group.add_argument('--rational',action='store_true',help="Set truth mass to 2E")
group.add_argument('--no-rational',action='store_true',help="Set truth mass to 2E-1")
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
SimpleGraphHelper.setup_command_line(parser)
def setup_command_line(parser):
SimpleGraphHelper.setup_command_line(parser)