Welcome to pygplib’s documentation!

Release v2.3.2

Contents:

• Get Started
  • Install Pygplib
  • Quick Example
• How to Use Pygplib Module
  • Parsing First-Order Formula
  • Constructing First-Order Formula
  • Creating Graph Structure
  • Note: Interpretation of Atoms
  • Encoding First-Order Formula
• Examples of Usage
  • Encoding First-Order Expressible Property
  • Solving First-Order Expressible Property
  • Sampling Solutions of First-Order Expressible Property
  • Solving Reconfiguration Problems of First-Order Property
• First-Order Logic of Graphs
• Format of First-Order Formula
  • Format
  • Common Pitfalls
• pygplib package
  • Submodules
  • pygplib.absexpr module
  • pygplib.absfo module
  • pygplib.absneg module
  • pygplib.absprop module
  • pygplib.be module
  • pygplib.cnf module
  • pygplib.ecc module
  • pygplib.fog module
  • pygplib.grst module
  • pygplib.name module
  • pygplib.op module
  • pygplib.prop module
  • pygplib.symrelst module
  • Module contents

Indices and tables

• Index

• Module Index

• Search Page