CNFgen

stable

Table of contents

Welcome to CNFgen’s documentation!
1. How to build and use 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 »
7. Adding a formula family to CNFgen
Edit on GitHub

7. Adding a formula family to CNFgen¶

Previous

© Copyright 2012-2018 Massimo Lauria <lauria.massimo@gmail.com>. Revision ff944d97.

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