pygplib 2.0.2

Python First-Order Graph Property Library

Pygplib: Python First-Order Graph Property Library

Introduction

Pygplib (Python First-Order Graph Property Library) is a Python module for constructing, manipulating, and encoding graph properties expressible with first-order logic of graphs. It serves as a prototyping tool to tackle with various graph related applications. It provides access to state-of-the-art satisfiability technologies without advanced knowledge. Basic steps to follow are :

• Express a graph property of interest as a first-order formula.

• Set a graph structure, and encode a first-order formula into CNF, a canonical normal form for propositional formulas.

• Apply satisfiability tools to the CNF to compute satisfying assignments.

• Decode the result into an assignment of first-order variables.

Documentation

For installation, examples, tutorials, and so on, please see online documentation .

Citation

Please cite the following paper if you use pygplib:

Takahisa Toda, Takehiro Ito, Jun Kawahara, Takehide Soh, Akira Suzuki, Junichi Teruyama, Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability, The 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023), accepted.

Bugs/Requests/Discussions

Please report bugs and requests from GitHub Issues , and ask questions from GitHub Discussions .

History

Please see CHANGES .

License

Please see LICENSE .