CNFgen
latest
Table of contents
Welcome to CNFgen’s documentation!
1. How to build a CNF
2. Testing satisfiability
3. Formula families
4. Graph based formulas
5. Post-process a CNF formula
6. The command line utility
7. Adding a formula family to CNFgen
CNFgen
Docs
»
Index
Edit on GitHub
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
X
A
add_clause() (BaseCNF method)
add_clauses_from() (BaseCNF method)
add_description() (in module cnfgen.transformations.substitutions)
add_edge() (BipartiteGraph method)
(DirectedGraph method)
(Graph method)
add_linear() (CNFLinear method)
add_loose_majority() (CNFLinear method)
add_loose_minority() (CNFLinear method)
add_parity() (CNFLinear method)
add_strict_majority() (CNFLinear method)
add_strict_minority() (CNFLinear method)
all_clauses() (in module cnfgen.families.randomformulas)
all_variable_labels() (BaseCNF method)
(VariablesManager method)
AllEqualsSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
AllEqualSubstitution() (in module cnfgen.transformations.substitutions)
AND (class in cnfgen.clihelpers.simple_helpers)
AndSubstitution() (in module cnfgen.transformations.substitutions)
any_int() (in module cnfgen.localtypes)
AnythingButKSubstitution() (in module cnfgen.transformations.substitutions)
AnythingButKSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
apply_substitution() (in module cnfgen.transformations.substitutions)
AtLeastKSubstitution() (in module cnfgen.transformations.substitutions)
AtLeastKSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
AtMostKSubstitution() (in module cnfgen.transformations.substitutions)
AtMostKSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
B
BaseCNF (class in cnfgen.formula.basecnf)
BaseVariableGroup (class in cnfgen.formula.variables)
BinaryCliqueFormula() (in module cnfgen.families.subgraph)
BinaryKCliqueCmdHelper (class in cnfgen.clihelpers.graph_helpers)
BinaryMappingVariables (class in cnfgen.formula.mapping)
BinaryPigeonholePrinciple() (in module cnfgen.families.pigeonhole)
bipartite_random() (in module cnfgen.graphs)
bipartite_random_left_regular() (in module cnfgen.graphs)
bipartite_random_m_edges() (in module cnfgen.graphs)
bipartite_random_regular() (in module cnfgen.graphs)
BipartiteEdgesVariables (class in cnfgen.formula.variables)
BipartiteGraph (class in cnfgen.graphs)
bits() (BinaryMappingVariables method)
BlockOfVariables (class in cnfgen.formula.variables)
BPHPCmdHelper (class in cnfgen.clihelpers.php_helpers)
build_cnf() (AND static method)
(BPHPCmdHelper static method)
(BinaryKCliqueCmdHelper static method)
(CPLSCmdHelper static method)
(CliqueColoringCmdHelper static method)
(CountingCmdHelper static method)
(DimacsCmdHelper static method)
(DominatingSetCmdHelper static method)
(ECCmdHelper static method)
(FALSE static method)
(FormulaHelper static method)
(GIsoCmdHelper static method)
(KCliqueCmdHelper static method)
(KColorCmdHelper static method)
(OPCmdHelper static method)
(OR static method)
(PHPCmdHelper static method)
(PMatchingCmdHelper static method)
(PTNCmdHelper static method)
(ParityCmdHelper static method)
(PebblingCmdHelper static method)
(PitfallCmdHelper static method)
(RPHPCmdHelper static method)
(RWCmdHelper static method)
(RamseyCmdHelper static method)
(RandCmdHelper static method)
(SCCmdHelper static method)
(StoneCmdHelper static method)
(SubGraphCmdHelper static method)
(TRUE static method)
(TilingCmdHelper static method)
(TseitinCmdHelper static method)
(VDWCmdHelper static method)
build_latex_cmdline_description() (in module cnfgen.clitools.cnfgen)
C
clause_satisfied() (in module cnfgen.families.randomformulas)
clauses() (BaseCNF method)
ClausesView (class in cnfgen.formula.basecnf)
cli() (in module cnfgen.clitools.cnfgen)
(in module cnfgen.clitools.cnfshuffle)
(in module cnfgen.clitools.kthlist2pebbling)
CLIError
CLIHelpFormatter (class in cnfgen.clitools.cmdline)
CLIParser (class in cnfgen.clitools.cmdline)
CliqueColoring() (in module cnfgen.families.cliquecoloring)
CliqueColoringCmdHelper (class in cnfgen.clihelpers.php_helpers)
CliqueFormula() (in module cnfgen.families.subgraph)
CNF (class in cnfgen.formula.cnf)
cnfgen (module)
cnfgen.clihelpers (module)
cnfgen.clihelpers.counting_helpers (module)
cnfgen.clihelpers.cpls_helpers (module)
cnfgen.clihelpers.dimacs_helpers (module)
cnfgen.clihelpers.formula_helpers (module)
cnfgen.clihelpers.graph_helpers (module)
cnfgen.clihelpers.ordering_helpers (module)
cnfgen.clihelpers.pebbling_helpers (module)
cnfgen.clihelpers.php_helpers (module)
cnfgen.clihelpers.pitfall_helpers (module)
cnfgen.clihelpers.simple_helpers (module)
cnfgen.clihelpers.transformation_helpers (module)
cnfgen.clitools (module)
cnfgen.clitools.cmdline (module)
cnfgen.clitools.cnfgen (module)
cnfgen.clitools.cnfshuffle (module)
cnfgen.clitools.graph_args (module)
cnfgen.clitools.graph_build (module)
cnfgen.clitools.graph_docs (module)
cnfgen.clitools.graph_fileinput (module)
cnfgen.clitools.kthlist2pebbling (module)
cnfgen.clitools.msg (module)
cnfgen.families (module)
cnfgen.families.cliquecoloring (module)
cnfgen.families.coloring (module)
cnfgen.families.counting (module)
cnfgen.families.cpls (module)
cnfgen.families.dominatingset (module)
cnfgen.families.graphisomorphism (module)
cnfgen.families.ordering (module)
cnfgen.families.pebbling (module)
cnfgen.families.pigeonhole (module)
cnfgen.families.pitfall (module)
cnfgen.families.ramsey (module)
cnfgen.families.randomformulas (module)
cnfgen.families.subgraph (module)
cnfgen.families.subsetcardinality (module)
cnfgen.families.tseitin (module)
cnfgen.formula (module)
cnfgen.formula.basecnf (module)
cnfgen.formula.cnf (module)
cnfgen.formula.cnfio (module)
cnfgen.formula.linear (module)
cnfgen.formula.mapping (module)
cnfgen.formula.variables (module)
cnfgen.graphs (module)
cnfgen.info (module)
cnfgen.localtypes (module)
cnfgen.transformations (module)
cnfgen.transformations.shuffle (module)
cnfgen.transformations.substitutions (module)
cnfgen.utils (module)
cnfgen.utils.latexoutput (module)
cnfgen.utils.parsedimacs (module)
cnfgen.utils.solver (module)
CNFio (class in cnfgen.formula.cnfio)
CNFLinear (class in cnfgen.formula.linear)
CNFMapping (class in cnfgen.formula.mapping)
complete_graph() (cnfgen.graphs.Graph class method)
compose_two_parsers() (in module cnfgen.clitools.cmdline)
construction_for_another_type() (in module cnfgen.clitools.graph_args)
CountingCmdHelper (class in cnfgen.clihelpers.counting_helpers)
CountingPrinciple() (in module cnfgen.families.counting)
CPLSCmdHelper (class in cnfgen.clihelpers.cpls_helpers)
CPLSFormula() (in module cnfgen.families.cpls)
D
dag_complete_binary_tree() (in module cnfgen.graphs)
dag_path() (in module cnfgen.graphs)
dag_pyramid() (in module cnfgen.graphs)
debug() (BaseCNF method)
degree() (Graph method)
description (AllEqualsSubstitutionCmd attribute)
(AND attribute)
(AnythingButKSubstitutionCmd attribute)
(AtLeastKSubstitutionCmd attribute)
(AtMostKSubstitutionCmd attribute)
(BPHPCmdHelper attribute)
(BinaryKCliqueCmdHelper attribute)
(CPLSCmdHelper attribute)
(CliqueColoringCmdHelper attribute)
(CountingCmdHelper attribute)
(DimacsCmdHelper attribute)
(DominatingSetCmdHelper attribute)
(ECCmdHelper attribute)
(ExactlyKSubstitutionCmd attribute)
(ExactlyOneSubstitutionCmd attribute)
(FALSE attribute)
(FlipCmd attribute)
(FormulaLiftingCmd attribute)
(GIsoCmdHelper attribute)
(IfThenElseSubstitutionCmd attribute)
(KCliqueCmdHelper attribute)
(KColorCmdHelper attribute)
(MajCompressionCmd attribute)
(MajSubstitution attribute)
(NeqSubstitutionCmd attribute)
(NoSubstitutionCmd attribute)
(OPCmdHelper attribute)
(OR attribute)
(OrSubstitutionCmd attribute)
(PHPCmdHelper attribute)
(PMatchingCmdHelper attribute)
(PTNCmdHelper attribute)
(ParityCmdHelper attribute)
(PebblingCmdHelper attribute)
(PitfallCmdHelper attribute)
(RPHPCmdHelper attribute)
(RWCmdHelper attribute)
(RamseyCmdHelper attribute)
(RandCmdHelper attribute)
(SCCmdHelper attribute)
(ShuffleCmd attribute)
(StoneCmdHelper attribute)
(SubGraphCmdHelper attribute)
(TRUE attribute)
(TilingCmdHelper attribute)
(TransformationHelper attribute)
(TseitinCmdHelper attribute)
(VDWCmdHelper attribute)
(XorCompressionCmd attribute)
(XorSubstitutionCmd attribute)
determine_graph_format_from_filename() (in module cnfgen.clitools.graph_args)
DiGraphEdgesVariables (class in cnfgen.formula.variables)
DimacsCmdHelper (class in cnfgen.clihelpers.dimacs_helpers)
DirectedGraph (class in cnfgen.graphs)
domain() (BinaryMappingVariables method)
(UnaryMappingVariables method)
DominatingSet() (in module cnfgen.families.dominatingset)
DominatingSetCmdHelper (class in cnfgen.clihelpers.graph_helpers)
E
ECCmdHelper (class in cnfgen.clihelpers.graph_helpers)
edges() (DirectedGraph method)
(Graph method)
edges_ordered_by_successors() (DirectedGraph method)
empty_graph() (cnfgen.graphs.Graph class method)
error() (CLIParser method)
error_msg() (in module cnfgen.clitools.msg)
EvenColoringFormula() (in module cnfgen.families.coloring)
ExactlyKSubstitution() (in module cnfgen.transformations.substitutions)
ExactlyKSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
ExactlyOneSubstitution() (in module cnfgen.transformations.substitutions)
ExactlyOneSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
F
FALSE (class in cnfgen.clihelpers.simple_helpers)
find_in_package() (in module cnfgen.clitools.cmdline)
FlipCmd (class in cnfgen.clihelpers.transformation_helpers)
FlipPolarity() (in module cnfgen.transformations.substitutions)
forbid() (BinaryMappingVariables method)
force_complete_mapping() (CNFMapping method)
force_functional_mapping() (CNFMapping method)
force_injective_mapping() (CNFMapping method)
force_nondecreasing_mapping() (CNFMapping method)
force_surjective_mapping() (CNFMapping method)
format_for_another_type() (in module cnfgen.clitools.graph_args)
FormulaHelper (class in cnfgen.clihelpers.formula_helpers)
FormulaLifting() (in module cnfgen.transformations.substitutions)
FormulaLiftingCmd (class in cnfgen.clihelpers.transformation_helpers)
from_dimacs_file() (in module cnfgen.utils.parsedimacs)
from_file() (cnfgen.formula.cnfio.CNFio class method)
from_networkx() (cnfgen.graphs.BipartiteGraph class method)
(cnfgen.graphs.DirectedGraph class method)
(cnfgen.graphs.Graph class method)
G
get_formula_helpers() (in module cnfgen.clitools.cmdline)
get_transformation_helpers() (in module cnfgen.clitools.cmdline)
GIsoCmdHelper (class in cnfgen.clihelpers.graph_helpers)
Graph (class in cnfgen.graphs)
graph_type_name() (cnfgen.graphs.BipartiteGraph class method)
(cnfgen.graphs.DirectedGraph class method)
(cnfgen.graphs.Graph class method)
GraphAutomorphism() (in module cnfgen.families.graphisomorphism)
GraphColoringFormula() (in module cnfgen.families.coloring)
GraphEdgesVariables (class in cnfgen.formula.variables)
GraphIsomorphism() (in module cnfgen.families.graphisomorphism)
GraphOrderingPrinciple() (in module cnfgen.families.ordering)
GraphPigeonholePrinciple() (in module cnfgen.families.pigeonhole)
guess_output_format() (in module cnfgen.formula.cnfio)
H
has_edge() (BipartiteGraph method)
(DirectedGraph method)
(Graph method)
I
IfThenElseSubstitution() (in module cnfgen.transformations.substitutions)
IfThenElseSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
in_degree() (DirectedGraph method)
indices() (BaseVariableGroup method)
(BinaryMappingVariables method)
(BipartiteEdgesVariables method)
(BlockOfVariables method)
(DiGraphEdgesVariables method)
(GraphEdgesVariables method)
(SingletonVariableGroup method)
(WordOfIndicesVariables method)
interactive_msg() (in module cnfgen.clitools.msg)
InternalBug
intlog2() (in module cnfgen.families.cpls)
is_dag() (DirectedGraph method)
(Graph method)
is_directed() (DirectedGraph method)
(Graph method)
is_satisfiable() (CNFio method)
is_some_number() (in module cnfgen.clihelpers.php_helpers)
K
KCliqueCmdHelper (class in cnfgen.clihelpers.graph_helpers)
KColorCmdHelper (class in cnfgen.clihelpers.graph_helpers)
L
label() (BaseVariableGroup method)
(SingletonVariableGroup method)
(WordOfIndicesVariables method)
left_neighbors() (BipartiteGraph method)
LinearSubstitution() (in module cnfgen.transformations.substitutions)
M
main() (in module cnfgen.clitools.cnfgen)
(in module cnfgen.clitools.cnfshuffle)
(in module cnfgen.clitools.kthlist2pebbling)
MajCompressionCmd (class in cnfgen.clihelpers.transformation_helpers)
MajoritySubstitution() (in module cnfgen.transformations.substitutions)
MajSubstitution (class in cnfgen.clihelpers.transformation_helpers)
make_graph_doc() (in module cnfgen.clitools.graph_docs)
make_graph_from_spec() (in module cnfgen.clitools.graph_args)
modify_bipartite_graph_plantbiclique() (in module cnfgen.clitools.graph_build)
modify_graph_addedges() (in module cnfgen.clitools.graph_build)
modify_simple_graph_plantclique() (in module cnfgen.clitools.graph_build)
msg_prefix() (in module cnfgen.clitools.msg)
multipartite_tnp() (in module cnfgen.clitools.graph_build)
N
name (AllEqualsSubstitutionCmd attribute)
(AND attribute)
(AnythingButKSubstitutionCmd attribute)
(AtLeastKSubstitutionCmd attribute)
(AtMostKSubstitutionCmd attribute)
(BPHPCmdHelper attribute)
(BinaryKCliqueCmdHelper attribute)
(CPLSCmdHelper attribute)
(CliqueColoringCmdHelper attribute)
(CountingCmdHelper attribute)
(DimacsCmdHelper attribute)
(DominatingSetCmdHelper attribute)
(ECCmdHelper attribute)
(ExactlyKSubstitutionCmd attribute)
(ExactlyOneSubstitutionCmd attribute)
(FALSE attribute)
(FlipCmd attribute)
(FormulaLiftingCmd attribute)
(GIsoCmdHelper attribute)
(IfThenElseSubstitutionCmd attribute)
(KCliqueCmdHelper attribute)
(KColorCmdHelper attribute)
(MajCompressionCmd attribute)
(MajSubstitution attribute)
(NeqSubstitutionCmd attribute)
(NoSubstitutionCmd attribute)
(OPCmdHelper attribute)
(OR attribute)
(OrSubstitutionCmd attribute)
(PHPCmdHelper attribute)
(PMatchingCmdHelper attribute)
(PTNCmdHelper attribute)
(ParityCmdHelper attribute)
(PebblingCmdHelper attribute)
(PitfallCmdHelper attribute)
(RPHPCmdHelper attribute)
(RWCmdHelper attribute)
(RamseyCmdHelper attribute)
(RandCmdHelper attribute)
(SCCmdHelper attribute)
(ShuffleCmd attribute)
(StoneCmdHelper attribute)
(SubGraphCmdHelper attribute)
(TRUE attribute)
(TilingCmdHelper attribute)
(TransformationHelper attribute)
(TseitinCmdHelper attribute)
(VDWCmdHelper attribute)
(XorCompressionCmd attribute)
(XorSubstitutionCmd attribute)
neighbors() (Graph method)
NeqSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
new_binary_mapping() (CNFMapping method)
new_bipartite_edges() (VariablesManager method)
new_block() (VariablesManager method)
new_combinations() (VariablesManager method)
new_combinations_with_replacement() (VariablesManager method)
new_digraph_edges() (VariablesManager method)
new_graph_edges() (VariablesManager method)
new_mapping() (CNFMapping method)
new_permutations() (VariablesManager method)
new_sparse_mapping() (CNFMapping method)
new_variable() (VariablesManager method)
new_words() (VariablesManager method)
non_edges() (in module cnfgen.families.subgraph)
non_negative_int() (in module cnfgen.localtypes)
non_negative_int_seq() (in module cnfgen.localtypes)
nonnegative_int() (in module cnfgen.clitools.cmdline)
normalize() (cnfgen.graphs.BipartiteGraph class method)
(cnfgen.graphs.DirectedGraph class method)
(cnfgen.graphs.Graph class method)
NoSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
NotAllEqualSubstitution() (in module cnfgen.transformations.substitutions)
null_graph() (cnfgen.graphs.Graph class method)
number_of_clauses() (BaseCNF method)
number_of_edges() (BipartiteGraph method)
(DirectedGraph method)
(Graph method)
number_of_variables() (BaseCNF method)
number_of_vertices() (DirectedGraph method)
(Graph method)
O
obtain_bipartite_regular() (in module cnfgen.clitools.graph_build)
obtain_bipartite_shift() (in module cnfgen.clitools.graph_build)
obtain_complete_bipartite() (in module cnfgen.clitools.graph_build)
obtain_complete_simple() (in module cnfgen.clitools.graph_build)
obtain_empty_bipartite() (in module cnfgen.clitools.graph_build)
obtain_empty_simple() (in module cnfgen.clitools.graph_build)
obtain_glrd() (in module cnfgen.clitools.graph_build)
obtain_glrm() (in module cnfgen.clitools.graph_build)
obtain_glrp() (in module cnfgen.clitools.graph_build)
obtain_gnd() (in module cnfgen.clitools.graph_build)
obtain_gnm() (in module cnfgen.clitools.graph_build)
obtain_gnp() (in module cnfgen.clitools.graph_build)
obtain_graph() (in module cnfgen.clitools.graph_args)
obtain_grid() (in module cnfgen.clitools.graph_build)
obtain_grid_or_torus() (in module cnfgen.clitools.graph_build)
obtain_path() (in module cnfgen.clitools.graph_build)
obtain_pyramid() (in module cnfgen.clitools.graph_build)
obtain_torus() (in module cnfgen.clitools.graph_build)
obtain_tree() (in module cnfgen.clitools.graph_build)
ObtainBipartiteGraph (class in cnfgen.clitools.graph_args)
ObtainDirectedAcyclicGraph (class in cnfgen.clitools.graph_args)
ObtainGraphAction (class in cnfgen.clitools.graph_args)
ObtainSimpleGraph (class in cnfgen.clitools.graph_args)
one_of_values() (in module cnfgen.localtypes)
OPCmdHelper (class in cnfgen.clihelpers.ordering_helpers)
open_input() (in module cnfgen.clitools.graph_fileinput)
OR (class in cnfgen.clihelpers.simple_helpers)
OrderingPrinciple() (in module cnfgen.families.ordering)
OrSubstitution() (in module cnfgen.transformations.substitutions)
OrSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
out_degree() (DirectedGraph method)
P
paginate_or_redirect_stdout() (in module cnfgen.clitools.cmdline)
parent_formula() (BaseVariableGroup method)
ParityCmdHelper (class in cnfgen.clihelpers.counting_helpers)
parse_command_line() (in module cnfgen.clitools.cnfgen)
parse_dimacs() (in module cnfgen.utils.parsedimacs)
parse_graph_argument() (in module cnfgen.clitools.graph_args)
PebblingCmdHelper (class in cnfgen.clihelpers.pebbling_helpers)
PebblingFormula() (in module cnfgen.families.pebbling)
PerfectMatchingPrinciple() (in module cnfgen.families.counting)
PHPArgs (class in cnfgen.clihelpers.php_helpers)
PHPCmdHelper (class in cnfgen.clihelpers.php_helpers)
PigeonholePrinciple() (in module cnfgen.families.pigeonhole)
PitfallCmdHelper (class in cnfgen.clihelpers.pitfall_helpers)
PitfallFormula() (in module cnfgen.families.pitfall)
PMatchingCmdHelper (class in cnfgen.clihelpers.counting_helpers)
positive_even_int() (in module cnfgen.clitools.cmdline)
positive_int() (in module cnfgen.clitools.cmdline)
(in module cnfgen.localtypes)
positive_int_seq() (in module cnfgen.localtypes)
predecessors() (DirectedGraph method)
probability() (in module cnfgen.clitools.cmdline)
probability_value() (in module cnfgen.localtypes)
PTNCmdHelper (class in cnfgen.clihelpers.php_helpers)
PythagoreanTriples() (in module cnfgen.families.ramsey)
R
RamseyCmdHelper (class in cnfgen.clihelpers.php_helpers)
RamseyNumber() (in module cnfgen.families.ramsey)
RamseyWitnessFormula() (in module cnfgen.families.subgraph)
RandCmdHelper (class in cnfgen.clihelpers.simple_helpers)
RandomKCNF() (in module cnfgen.families.randomformulas)
range() (BinaryMappingVariables method)
(UnaryMappingVariables method)
read_graph_from_input() (in module cnfgen.clitools.graph_fileinput)
readGraph() (in module cnfgen.graphs)
redirect_stdin() (in module cnfgen.clitools.cmdline)
RelativizedPigeonholePrinciple() (in module cnfgen.families.pigeonhole)
right_neighbors() (BipartiteGraph method)
RPHPCmdHelper (class in cnfgen.clihelpers.php_helpers)
RWCmdHelper (class in cnfgen.clihelpers.graph_helpers)
S
sample_clauses() (in module cnfgen.families.randomformulas)
sample_clauses_dense() (in module cnfgen.families.randomformulas)
sat_solve() (in module cnfgen.utils.solver)
SCCmdHelper (class in cnfgen.clihelpers.counting_helpers)
setup_command_line() (AllEqualsSubstitutionCmd static method)
(AND static method)
(AnythingButKSubstitutionCmd static method)
(AtLeastKSubstitutionCmd static method)
(AtMostKSubstitutionCmd static method)
(BPHPCmdHelper static method)
(BinaryKCliqueCmdHelper static method)
(CPLSCmdHelper static method)
(CliqueColoringCmdHelper static method)
(CountingCmdHelper static method)
(DimacsCmdHelper static method)
(DominatingSetCmdHelper static method)
(ECCmdHelper static method)
(ExactlyKSubstitutionCmd static method)
(ExactlyOneSubstitutionCmd static method)
(FALSE static method)
(FlipCmd static method)
(FormulaHelper static method)
(FormulaLiftingCmd static method)
(GIsoCmdHelper static method)
(IfThenElseSubstitutionCmd static method)
(KCliqueCmdHelper static method)
(KColorCmdHelper static method)
(MajCompressionCmd static method)
(MajSubstitution static method)
(NeqSubstitutionCmd static method)
(NoSubstitutionCmd static method)
(OPCmdHelper static method)
(OR static method)
(OrSubstitutionCmd static method)
(PHPCmdHelper static method)
(PMatchingCmdHelper static method)
(PTNCmdHelper static method)
(ParityCmdHelper static method)
(PebblingCmdHelper static method)
(PitfallCmdHelper static method)
(RPHPCmdHelper static method)
(RWCmdHelper static method)
(RamseyCmdHelper static method)
(RandCmdHelper static method)
(SCCmdHelper static method)
(ShuffleCmd static method)
(StoneCmdHelper static method)
(SubGraphCmdHelper static method)
(TRUE static method)
(TilingCmdHelper static method)
(TransformationHelper static method)
(TseitinCmdHelper static method)
(VDWCmdHelper static method)
(XorCompressionCmd static method)
(XorSubstitutionCmd static method)
(in module cnfgen.clitools.kthlist2pebbling)
setup_command_line_parsers() (in module cnfgen.clitools.cnfgen)
setup_SIGINT() (in module cnfgen.clitools.cmdline)
Shuffle() (in module cnfgen.transformations.shuffle)
ShuffleCmd (class in cnfgen.clihelpers.transformation_helpers)
SingletonVariableGroup (class in cnfgen.formula.variables)
solve() (CNFio method)
some_solver_installed() (in module cnfgen.utils.solver)
SparseStoneFormula() (in module cnfgen.families.pebbling)
star_graph() (cnfgen.graphs.Graph class method)
StoneCmdHelper (class in cnfgen.clihelpers.pebbling_helpers)
StoneFormula() (in module cnfgen.families.pebbling)
SubGraphCmdHelper (class in cnfgen.clihelpers.graph_helpers)
SubgraphFormula() (in module cnfgen.families.subgraph)
SubsetCardinalityFormula() (in module cnfgen.families.subsetcardinality)
successors() (DirectedGraph method)
supported_file_formats() (cnfgen.graphs.BipartiteGraph class method)
(cnfgen.graphs.DirectedGraph class method)
(cnfgen.graphs.Graph class method)
supported_graph_formats() (in module cnfgen.graphs)
supported_satsolvers() (in module cnfgen.utils.solver)
T
Tiling() (in module cnfgen.families.dominatingset)
TilingCmdHelper (class in cnfgen.clihelpers.graph_helpers)
to_dict() (BaseVariableGroup method)
to_dimacs() (CNFio method)
to_dimacs_file() (in module cnfgen.utils.parsedimacs)
to_file() (CNFio method)
to_index() (BaseVariableGroup method)
(BinaryMappingVariables method)
(BipartiteEdgesVariables method)
(BlockOfVariables method)
(DiGraphEdgesVariables method)
(GraphEdgesVariables method)
(SingletonVariableGroup method)
(WordOfIndicesVariables method)
to_latex() (CNFio method)
to_latex_document() (in module cnfgen.utils.latexoutput)
to_latex_string() (in module cnfgen.utils.latexoutput)
to_networkx() (DirectedGraph method)
(Graph method)
transform_cnf() (AllEqualsSubstitutionCmd static method)
(AnythingButKSubstitutionCmd static method)
(AtLeastKSubstitutionCmd static method)
(AtMostKSubstitutionCmd static method)
(ExactlyKSubstitutionCmd static method)
(ExactlyOneSubstitutionCmd static method)
(FlipCmd static method)
(FormulaLiftingCmd static method)
(IfThenElseSubstitutionCmd static method)
(MajCompressionCmd static method)
(MajSubstitution static method)
(NeqSubstitutionCmd static method)
(NoSubstitutionCmd static method)
(OrSubstitutionCmd static method)
(ShuffleCmd static method)
(TransformationHelper static method)
(XorCompressionCmd static method)
(XorSubstitutionCmd static method)
TransformationHelper (class in cnfgen.clihelpers.transformation_helpers)
TRUE (class in cnfgen.clihelpers.simple_helpers)
TseitinCmdHelper (class in cnfgen.clihelpers.counting_helpers)
TseitinFormula() (in module cnfgen.families.tseitin)
U
UnaryMappingVariables (class in cnfgen.formula.mapping)
unique_neighborhoods() (in module cnfgen.families.dominatingset)
update_variable_number() (BaseCNF method)
V
VanDerWaerden() (in module cnfgen.families.ramsey)
VariableCompression() (in module cnfgen.transformations.substitutions)
variables() (BaseCNF method)
VariablesManager (class in cnfgen.formula.variables)
VDWCmdHelper (class in cnfgen.clihelpers.php_helpers)
vertices() (DirectedGraph method)
(Graph method)
W
WordOfIndicesVariables (class in cnfgen.formula.variables)
writeGraph() (in module cnfgen.graphs)
X
XorCompressionCmd (class in cnfgen.clihelpers.transformation_helpers)
XorSubstitution() (in module cnfgen.transformations.substitutions)
XorSubstitutionCmd (class in cnfgen.clihelpers.transformation_helpers)
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.