Skip to content

Commit

Permalink
Update README.rst
Browse files Browse the repository at this point in the history
  • Loading branch information
toda5603 authored Apr 2, 2024
1 parent 32f5c7c commit c455c62
Showing 1 changed file with 4 additions and 9 deletions.
13 changes: 4 additions & 9 deletions README.rst
Original file line number Diff line number Diff line change
@@ -1,18 +1,13 @@
|PyPI Version| |Python Versions| |Test| |Coverage| |License| |Documentation|

Python First-Order Graph Property Library
==================================================

.. image:: docs/img/pypg_color.png
:align: center
:height: 150
:alt: pygplib


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.
Expand Down

0 comments on commit c455c62

Please sign in to comment.