{"id":35849428,"url":"https://github.com/whitemech/pylogics","last_synced_at":"2026-01-08T07:01:05.722Z","repository":{"id":46792950,"uuid":"357313927","full_name":"whitemech/pylogics","owner":"whitemech","description":"A Python library for logic formalisms representation and manipulation.","archived":false,"fork":false,"pushed_at":"2024-01-21T22:18:31.000Z","size":758,"stargazers_count":16,"open_issues_count":8,"forks_count":5,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-11-23T02:16:51.656Z","etag":null,"topics":["ldl","ldlf","ltl","ltlf","pldl","pldlf","pltl","pltlf"],"latest_commit_sha":null,"homepage":"https://whitemech.github.io/pylogics","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/whitemech.png","metadata":{"files":{"readme":"README.md","changelog":"HISTORY.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":"docs/supported_logics.md","governance":null,"roadmap":null,"authors":"AUTHORS.md"}},"created_at":"2021-04-12T19:23:40.000Z","updated_at":"2025-06-29T02:38:19.000Z","dependencies_parsed_at":"2024-01-07T19:30:35.316Z","dependency_job_id":"59566632-eed6-4e98-85b3-e38c5629277c","html_url":"https://github.com/whitemech/pylogics","commit_stats":{"total_commits":69,"total_committers":2,"mean_commits":34.5,"dds":0.01449275362318836,"last_synced_commit":"67c513752cf81b9bc4e5dba865b961afe3130883"},"previous_names":[],"tags_count":5,"template":false,"template_full_name":null,"purl":"pkg:github/whitemech/pylogics","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fpylogics","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fpylogics/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fpylogics/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fpylogics/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/whitemech","download_url":"https://codeload.github.com/whitemech/pylogics/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/whitemech%2Fpylogics/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28242440,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2026-01-08T02:00:06.591Z","response_time":241,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ldl","ldlf","ltl","ltlf","pldl","pldlf","pltl","pltlf"],"created_at":"2026-01-08T07:00:22.252Z","updated_at":"2026-01-08T07:01:05.715Z","avatar_url":"https://github.com/whitemech.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003e\n  \u003cb\u003ePyLogics\u003c/b\u003e\n\u003c/h1\u003e\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://pypi.org/project/pylogics\"\u003e\n    \u003cimg alt=\"PyPI\" src=\"https://img.shields.io/pypi/v/pylogics\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://pypi.org/project/pylogics\"\u003e\n    \u003cimg alt=\"PyPI - Python Version\" src=\"https://img.shields.io/pypi/pyversions/pylogics\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"PyPI - Status\" src=\"https://img.shields.io/pypi/status/pylogics\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"PyPI - Implementation\" src=\"https://img.shields.io/pypi/implementation/pylogics\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"PyPI - Wheel\" src=\"https://img.shields.io/pypi/wheel/pylogics\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://github.com/whitemech/pylogics/blob/master/LICENSE\"\u003e\n    \u003cimg alt=\"GitHub\" src=\"https://img.shields.io/github/license/whitemech/pylogics\"\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"test\" src=\"https://github.com/whitemech/pylogics/workflows/test/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"lint\" src=\"https://github.com/whitemech/pylogics/workflows/lint/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"\"\u003e\n    \u003cimg alt=\"docs\" src=\"https://github.com/whitemech/pylogics/workflows/docs/badge.svg\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://codecov.io/gh/whitemech/pylogics\"\u003e\n    \u003cimg alt=\"codecov\" src=\"https://codecov.io/gh/whitemech/pylogics/branch/master/graph/badge.svg?token=FG3ATGP5P5\"\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://img.shields.io/badge/flake8-checked-blueviolet\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/flake8-checked-blueviolet\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://img.shields.io/badge/mypy-checked-blue\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/mypy-checked-blue\"\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://img.shields.io/badge/code%20style-black-black\"\u003e\n    \u003cimg alt=\"black\" src=\"https://img.shields.io/badge/code%20style-black-black\" /\u003e\n  \u003c/a\u003e\n  \u003ca href=\"https://www.mkdocs.org/\"\u003e\n    \u003cimg alt=\"\" src=\"https://img.shields.io/badge/docs-mkdocs-9cf\"\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\n\nA Python library for logic formalisms representation and manipulation.\n\n## Install\n\nTo install the package from PyPI:\n```\npip install pylogics\n```\n\n## Tests\n\nTo run tests: `tox`\n\nTo run only the code tests: `tox -e py3.7`\n\nTo run only the linters: \n- `tox -e flake8`\n- `tox -e mypy`\n- `tox -e black-check`\n- `tox -e isort-check`\n\nPlease look at the `tox.ini` file for the full list of supported commands. \n\n## Docs\n\nTo build the docs: `mkdocs build`\n\nTo view documentation in a browser: `mkdocs serve`\nand then go to [http://localhost:8000](http://localhost:8000)\n\n## License\n\npylogics is released under the MIT License.\n\nCopyright 2021-2024 The Pylogics contributors\n\n## Authors\n\n- [Marco Favorito](https://github.com/marcofavorito)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Fpylogics","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fwhitemech%2Fpylogics","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fwhitemech%2Fpylogics/lists"}