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

cnfgen.formula package¶

Submodules¶

  • cnfgen.formula.basecnf module
  • cnfgen.formula.cnf module
  • cnfgen.formula.cnfio module
  • cnfgen.formula.linear module
  • cnfgen.formula.mapping module
  • cnfgen.formula.variables 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.