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
¶
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
.