Welcome to PyPBLib’s documentation!

Contents:

• Python Pseudo-Boolean library
  • Overview
    • Pseudo-Boolean Constraint
    • Incremental Pseudo-Boolean Constraint
    • Example, from OPB to CNF file
    • Example, from OPB to WCNF file
  • Index
    • 1. Class WeightedLit
    • 2. Class PBConstraint
    • 3. Class IncPBConstraint
    • 4. Class PBConfig
    • 5. Class AuxVarManager
    • 6. Class VectorClauseDatabase
    • 7. Class Pb2cnf