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.info module
Edit on GitHub

cnfgen.info module¶

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

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

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.