| Metadata-Version: |
2.1 |
| Name: |
pygplib |
| Version: |
2.1.0 |
| Summary: |
Python First-Order Graph Property Library |
| Author: |
Takahisa Toda |
| Author-Email: |
pygplib+contact[at]gmail.com |
| Home-Page: |
https://github.com/toda-lab/pygplib |
| Project-Url: |
Documentation, https://pygplib.readthedocs.io/en/latest/ |
| Project-Url: |
Repository, https://github.com/toda-lab/pygplib |
| License: |
MIT |
| Keywords: |
logic,first-order-logic,graph,sat-solver,satisfiability |
| Classifier: |
Development Status :: 3 - Alpha |
| Classifier: |
Intended Audience :: Science/Research |
| Classifier: |
License :: OSI Approved :: MIT License |
| Classifier: |
Operating System :: OS Independent |
| Classifier: |
Programming Language :: Python |
| Classifier: |
Programming Language :: Python :: 3 |
| Classifier: |
Programming Language :: Python :: 3 :: Only |
| Classifier: |
Programming Language :: Python :: 3.10 |
| Classifier: |
Programming Language :: Python :: 3.11 |
| Classifier: |
Programming Language :: Python :: 3.9 |
| Classifier: |
Topic :: Scientific/Engineering :: Artificial Intelligence |
| Classifier: |
Topic :: Scientific/Engineering :: Mathematics |
| Requires-Python: |
>=3.9,<4.0 |
| Requires-Dist: |
Sphinx (<8.0.0,>=7.2.6); extra == "docs" |
| Requires-Dist: |
argparse (<2.0.0,>=1.4.0); extra == "test" |
| Requires-Dist: |
pallets-sphinx-themes (<3.0.0,>=2.1.1); extra == "docs" |
| Requires-Dist: |
pyparsing (<4.0.0,>=3.1.1) |
| Requires-Dist: |
pytest (<8.0.0,>=7.4.2); extra == "test" |
| Requires-Dist: |
pytest-cov (<5.0.0,>=4.1.0); extra == "test" |
| Requires-Dist: |
python-sat (<0.2.0,>=0.1.8.dev10); extra == "test" |
| Requires-Dist: |
sphinx-removed-in (<0.3.0,>=0.2.1); extra == "docs" |
| Requires-Dist: |
sphinxcontrib-trio (<2.0.0,>=1.1.2); extra == "docs" |
| Requires-Dist: |
tox (<5.0.0,>=4.11.3); extra == "test" |
| Provides-Extra: |
docs |
| Provides-Extra: |
test |
| Description-Content-Type: |
text/x-rst |