Pygplib: Python First-Order Graph Property Library
==================================================
|PyPI Version| |Python Versions| |Test| |Coverage| |License| |Documentation|
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 <https://pygplib.readthedocs.io/en/latest/>`__ .
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
<https://github.com/toda-lab/pygplib/issues>`__ , and
ask questions from `GitHub Discussions <https://github.com/toda-lab/pygplib/discussions>`__ .
History
=======
Please see `CHANGES <https://github.com/toda-lab/pygplib/blob/main/CHANGES.rst>`__ .
License
=======
Please see `LICENSE <https://github.com/toda-lab/pygplib/blob/main/LICENSE>`__ .
.. |Test| image:: https://github.com/toda-lab/pygplib/actions/workflows/test.yml/badge.svg
:target: https://github.com/toda-lab/pygplib/actions/workflows/test.yml
.. |Coverage| image:: https://codecov.io/gh/toda-lab/pygplib/graph/badge.svg?token=WWR54JE3M1
:target: https://codecov.io/gh/toda-lab/pygplib
.. |Python Versions| image:: https://img.shields.io/pypi/pyversions/pygplib
:target: https://pypi.org/project/pygplib/
:alt: PyPI - Python Versions
.. |PyPI Version| image:: https://img.shields.io/pypi/v/pygplib
:target: https://pypi.org/project/pygplib/
:alt: PyPI - Version
.. |License| image:: https://img.shields.io/badge/License-MIT-yellow.svg
:target: https://opensource.org/licenses/MIT
:alt: License
.. |Documentation| image:: https://readthedocs.org/projects/pygplib/badge/?version=latest
:target: https://pygplib.readthedocs.io/en/latest/?badge=latest
:alt: Documentation Status
Raw data
{
"_id": null,
"home_page": "https://github.com/toda-lab/pygplib",
"name": "pygplib",
"maintainer": "",
"docs_url": null,
"requires_python": ">=3.9,<4.0",
"maintainer_email": "",
"keywords": "logic,first-order-logic,graph,sat-solver,satisfiability",
"author": "Takahisa Toda",
"author_email": "pygplib+contact@gmail.com",
"download_url": "https://files.pythonhosted.org/packages/b6/b4/ee62ad6b5d39efa93d9134107428edd878bc584b7d0991664d329e342916/pygplib-2.1.0.tar.gz",
"platform": null,
"description": "Pygplib: Python First-Order Graph Property Library\n==================================================\n\n|PyPI Version| |Python Versions| |Test| |Coverage| |License| |Documentation|\n\nIntroduction\n============\n\n``Pygplib`` (Python First-Order Graph Property Library) is a Python module \nfor constructing, manipulating, and encoding graph properties expressible \nwith first-order logic of graphs.\nIt serves as a prototyping tool to tackle with \nvarious graph related applications.\nIt provides access to state-of-the-art satisfiability technologies \nwithout advanced knowledge.\nBasic steps to follow are :\n\n- Express a graph property of interest as a first-order formula.\n- Set a graph structure, and encode a first-order formula into CNF, \n a canonical normal form for propositional formulas.\n- Apply satisfiability tools to the CNF to compute satisfying\n assignments.\n- Decode the result into an assignment of first-order variables.\n\nDocumentation\n=============\n\nFor installation, examples, tutorials, and so on, please see `online documentation <https://pygplib.readthedocs.io/en/latest/>`__ .\n\n\nCitation\n========\n\nPlease cite the following paper if you use ``pygplib``:\n\n::\n\n 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.\n\nBugs/Requests/Discussions\n=========================\n\nPlease report bugs and requests from `GitHub Issues\n<https://github.com/toda-lab/pygplib/issues>`__ , and \nask questions from `GitHub Discussions <https://github.com/toda-lab/pygplib/discussions>`__ .\n\nHistory\n=======\nPlease see `CHANGES <https://github.com/toda-lab/pygplib/blob/main/CHANGES.rst>`__ .\n\nLicense\n=======\n\nPlease see `LICENSE <https://github.com/toda-lab/pygplib/blob/main/LICENSE>`__ .\n\n.. |Test| image:: https://github.com/toda-lab/pygplib/actions/workflows/test.yml/badge.svg\n :target: https://github.com/toda-lab/pygplib/actions/workflows/test.yml\n\n.. |Coverage| image:: https://codecov.io/gh/toda-lab/pygplib/graph/badge.svg?token=WWR54JE3M1\n :target: https://codecov.io/gh/toda-lab/pygplib\n\n.. |Python Versions| image:: https://img.shields.io/pypi/pyversions/pygplib\n :target: https://pypi.org/project/pygplib/\n :alt: PyPI - Python Versions\n\n.. |PyPI Version| image:: https://img.shields.io/pypi/v/pygplib\n :target: https://pypi.org/project/pygplib/\n :alt: PyPI - Version\n\n.. |License| image:: https://img.shields.io/badge/License-MIT-yellow.svg\n :target: https://opensource.org/licenses/MIT\n :alt: License\n\n.. |Documentation| image:: https://readthedocs.org/projects/pygplib/badge/?version=latest\n :target: https://pygplib.readthedocs.io/en/latest/?badge=latest\n :alt: Documentation Status\n",
"bugtrack_url": null,
"license": "MIT",
"summary": "Python First-Order Graph Property Library",
"version": "2.1.0",
"project_urls": {
"Documentation": "https://pygplib.readthedocs.io/en/latest/",
"Homepage": "https://github.com/toda-lab/pygplib",
"Repository": "https://github.com/toda-lab/pygplib"
},
"split_keywords": [
"logic",
"first-order-logic",
"graph",
"sat-solver",
"satisfiability"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "991d421d628c7cb1f2cb2b676f3a594811eb341917712f0816afce7c235cc942",
"md5": "ce02e0d3f4b2ea73ad6c835023d597de",
"sha256": "b130e8239eeeb10068f030a81ae0db8d5517323abe30c0ee553087563f87641c"
},
"downloads": -1,
"filename": "pygplib-2.1.0-py3-none-any.whl",
"has_sig": false,
"md5_digest": "ce02e0d3f4b2ea73ad6c835023d597de",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.9,<4.0",
"size": 35606,
"upload_time": "2023-11-06T09:33:30",
"upload_time_iso_8601": "2023-11-06T09:33:30.792419Z",
"url": "https://files.pythonhosted.org/packages/99/1d/421d628c7cb1f2cb2b676f3a594811eb341917712f0816afce7c235cc942/pygplib-2.1.0-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b6b4ee62ad6b5d39efa93d9134107428edd878bc584b7d0991664d329e342916",
"md5": "9968bf06e9fa6a632562bf1a451b1fc1",
"sha256": "f5bfaf8ab55a775abd17247cdbade4b2f4d04aa917cc37af4a775750c416675d"
},
"downloads": -1,
"filename": "pygplib-2.1.0.tar.gz",
"has_sig": false,
"md5_digest": "9968bf06e9fa6a632562bf1a451b1fc1",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.9,<4.0",
"size": 30304,
"upload_time": "2023-11-06T09:33:32",
"upload_time_iso_8601": "2023-11-06T09:33:32.998992Z",
"url": "https://files.pythonhosted.org/packages/b6/b4/ee62ad6b5d39efa93d9134107428edd878bc584b7d0991664d329e342916/pygplib-2.1.0.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2023-11-06 09:33:32",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "toda-lab",
"github_project": "pygplib",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"tox": true,
"lcname": "pygplib"
}
JSON
