cnfgen.clihelpers.graph_helpers module¶

Implementation of some graph formulas helpers

class BinaryKCliqueCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for k-clique formula

Methods

`build_cnf`(args)	Build a k-clique formula according to the arguments
`setup_command_line`(parser)	Setup the command line options for k-clique formula

static build_cnf(args)¶

Build a k-clique formula according to the arguments

Arguments: - args: command line options

description = 'Binary k clique formula'¶

name = 'kcliquebin'¶

static setup_command_line(parser)¶

Setup the command line options for k-clique formula

Arguments: - parser: parser to load with options.

class DominatingSetCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for k-dominating set

Methods

`build_cnf`(args)	Build the k-dominating set formula
`setup_command_line`(parser)	Setup the command line options for dominating set formula

static build_cnf(args)¶

Build the k-dominating set formula

Arguments: - args: command line options

description = 'k-Dominating set'¶

name = 'domset'¶

static setup_command_line(parser)¶

Setup the command line options for dominating set formula

Arguments: - parser: parser to load with options.

class ECCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Methods

`build_cnf`(args)	Buil the CNF according to the parameters on the command line
`setup_command_line`(parser)	Setup the command line parser for this formula subcommand

static build_cnf(args)¶: Buil the CNF according to the parameters on the command line

description = 'even coloring formulas'¶

name = 'ec'¶

static setup_command_line(parser)¶: Setup the command line parser for this formula subcommand

class GIsoCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for Graph Isomorphism formula

Methods

`build_cnf`(args)	Buil the CNF according to the parameters on the command line
`setup_command_line`(parser)	Setup the command line options for graph isomorphism formula

static build_cnf(args)¶: Buil the CNF according to the parameters on the command line

description = 'graph isomorphism/automorphism formula'¶

name = 'iso'¶

static setup_command_line(parser)¶

Setup the command line options for graph isomorphism formula

Arguments: - parser: parser to load with options.

class KCliqueCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for k-clique formula

Methods

`build_cnf`(args)	Build a k-clique formula according to the arguments
`setup_command_line`(parser)	Setup the command line options for k-clique formula

static build_cnf(args)¶

Build a k-clique formula according to the arguments

Arguments: - args: command line options

description = 'k clique formula'¶

name = 'kclique'¶

static setup_command_line(parser)¶

Setup the command line options for k-clique formula

Arguments: - parser: parser to load with options.

class KColorCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for k-color formula

Methods

`build_cnf`(args)	Build a k-colorability formula according to the arguments
`setup_command_line`(parser)	Setup the command line options for k-color formula

static build_cnf(args)¶

Build a k-colorability formula according to the arguments

Arguments: - args: command line options

description = 'k-colorability formula'¶

name = 'kcolor'¶

static setup_command_line(parser)¶

Setup the command line options for k-color formula

Arguments: - parser: parser to load with options.

class RWCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for ramsey graph formula

Methods

`build_cnf`(args)	Build a formula to check that a graph is a ramsey number lower bound
`setup_command_line`(parser)	Setup the command line options for ramsey witness formula

static build_cnf(args)¶

Build a formula to check that a graph is a ramsey number lower bound

Arguments: - args: command line options

description = 'unsat if G witnesses that r(k,s)>|V(G)| (i.e. G has not k-clique nor s-stable)'¶

name = 'ramlb'¶

static setup_command_line(parser)¶

Setup the command line options for ramsey witness formula

Arguments: - parser: parser to load with options.

class SubGraphCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for Graph Isomorphism formula

Methods

`build_cnf`(args)	Build a subgraph formula according to the arguments
`setup_command_line`(parser)	Setup the command line options for graph isomorphism formula

static build_cnf(args)¶

Build a subgraph formula according to the arguments

Arguments: - args: command line options

description = 'subgraph formula'¶

name = 'subgraph'¶

static setup_command_line(parser)¶

Setup the command line options for graph isomorphism formula

Arguments: - parser: parser to load with options.

class TilingCmdHelper¶

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for tiling

Methods

`build_cnf`(args)	Build the tiling formula
`setup_command_line`(parser)	Setup the command line options for tiling formula

static build_cnf(args)¶

Build the tiling formula

Arguments: - args: command line options

description = 'tiling formula'¶

name = 'tiling'¶

static setup_command_line(parser)¶

Setup the command line options for tiling formula

Arguments: - parser: parser to load with options.