Navigation
index
modules
|
next
|
pygplib 2.1.0 documentation
»
Welcome to pygplib’s documentation!
Welcome to pygplib’s documentation!
¶
Release v2.1.0
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
Contents
Welcome to pygplib’s documentation!
Indices and tables
Navigation
Overview
Next:
Get Started
Quick search