Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 6.6% dependent repos on pypi.org
pypi.org : pylogics
A Python library for logic formalisms representation and manipulation.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:pypi/pylogics
Keywords: logic, propositional logic, predicate logic, temporal logic, ldl, ldlf, ltl, ltlf, pldl, pldlf, pltl, pltlf
License: Other
Latest release: about 1 year ago
First release: about 3 years ago
Dependent packages: 3
Dependent repositories: 5
Downloads: 383 last month
Stars: 10 on GitHub
Forks: 4 on GitHub
Total Commits: 69
Committers: 2
Average commits per author: 34.5
Development Distribution Score (DDS): 0.014
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 27 days ago