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 »
  • cnfgen.clihelpers package
  • Edit on GitHub

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¶

© Copyright (C) 2012-2021 Massimo Lauria <massimo.lauria@uniroma1.it> Revision 70e5b687.

Built with Sphinx using a theme provided by Read the Docs.