形式化普通问题的流程

 

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