cnfgen.clihelpers.pitfall_helpers module¶
Formula Helpers for the Pitfall formula
Copyright (C) 2012-2021 Massimo Lauria <massimo.lauria@uniroma1.it> https://massimolauria.net/cnfgen/
-
class
PitfallCmdHelper¶ Bases:
cnfgen.clihelpers.formula_helpers.FormulaHelperMethods
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= 'Pitfall formula'¶
-
name= 'pitfall'¶
-
static
setup_command_line(parser)¶ Setup the command line parser for this formula subcommand
-
static