形式化普通问题的流程

 

doc

    https://cnfgen.readthedocs.io/en/latest/buildcnf.html

     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
code     https://github.com/MassimoLauria/cnfgen
形式化形式化方法

相关

标签