cnfgen package

Subpackages

• cnfgen.clihelpers package
  • Submodules
    • 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
  • Module contents
• cnfgen.clitools package
  • Submodules
    • cnfgen.clitools.cmdline module
    • cnfgen.clitools.cnfgen module
    • cnfgen.clitools.cnfshuffle module
    • cnfgen.clitools.graph_cmdline module
    • cnfgen.clitools.kthlist2pebbling module
    • cnfgen.clitools.msg module
  • Module contents
• cnfgen.families package
  • Submodules
    • 3.1.12. cnfgen.families.cliquecoloring module
    • 3.1.2. cnfgen.families.coloring module
    • 3.1.1. cnfgen.families.counting module
    • 3.1.14. cnfgen.families.cpls module
    • cnfgen.families.dominatingset module
    • 3.1.3. cnfgen.families.graphisomorphism module
    • 3.1.4. cnfgen.families.ordering module
    • 3.1.5. cnfgen.families.pebbling module
    • 3.1.6. cnfgen.families.pigeonhole module
    • 3.1.7. cnfgen.families.pitfall module
    • 3.1.8. cnfgen.families.ramsey module
    • 3.1.9. cnfgen.families.randomformulas module
    • 3.1.10. cnfgen.families.subgraph module
    • 3.1.11. cnfgen.families.subsetcardinality module
    • 3.1.13. cnfgen.families.tseitin module
  • Module contents
• cnfgen.transformations package
  • Submodules
    • cnfgen.transformations.shuffle module
    • cnfgen.transformations.substitutions module
  • Module contents
• cnfgen.utils package
  • Submodules
    • cnfgen.utils.parsedimacs module
      • References
    • cnfgen.utils.solver module
  • Module contents

Submodules

• cnfgen.cnf module
• cnfgen.graphs module
• cnfgen.info module
• cnfgen.version module

Module contents

Init code of the cnfgen package

Essentially it makes visible the names of the formulas and transformations implemented, plus some IO functions.