Skip to main content

Python First-Order Graph Property Library

Project description

Pygplib: Python First-Order Graph Property Library

PyPI - Version PyPI - Python Versions Test Coverage License Documentation Status

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 .

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pygplib-2.0.2.tar.gz (29.1 kB view hashes)

Uploaded Source

Built Distribution

pygplib-2.0.2-py3-none-any.whl (34.8 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page