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