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 »
  • Search
  • Edit on GitHub

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

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