cnfgen.clihelpers.formula_helpers module¶
Formula Helper interface
Copyright (C) 2012, 2013, 2014, 2015, 2016, 2019 Massimo Lauria <massimo.lauria@uniroma1.it> https://massimolauria.net/cnfgen/
-
class
FormulaHelper¶ Bases:
objectCommand line helper for a formula family
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
-
static
setup_command_line(parser)¶ Setup the command line parser for this formula subcommand
-
static