cnfgen.clihelpers.cpls_helpers module

Implementation of Thapen’s size-width tradeoff formula

class CPLSCmdHelper

Bases: cnfgen.clihelpers.formula_helpers.FormulaHelper

Command line helper for Thapen’s size-width tradeoff formula

Methods

build_cnf(args)	Build Thapen’s size-width tradeoff formula according to the arguments
setup_command_line(parser)	Setup the command line options for Thapen’s size-width tradeoff formula

static build_cnf(args)

Build Thapen’s size-width tradeoff formula according to the arguments

Arguments: - args: command line options

description = "Thapen's Coloured Polynomial Local Search formula"

name = 'cpls'

static setup_command_line(parser)

Setup the command line options for Thapen’s size-width tradeoff formula

Arguments: - parser: parser to load with options.