Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
juliahub.com : PAndQ
A computer algebra system for propositional logic
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:julia/PAndQ
Keywords: symbolic, julia, propositional-logic, julialang, logic
License: MIT
Latest release: about 2 months ago
First release: 9 months ago
Stars: 13 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 13 days ago
Loading...
Readme
Loading...