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.clitools package
  • Edit on GitHub

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¶

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

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