Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

juliahub.com : SoleLogics

Computational logic in Julia!

Registry - Source - Homepage - Documentation - JSON
purl: pkg:julia/SoleLogics
Keywords: modal-logic, logic, symbolic-learning
License: MIT
Latest release: 10 days ago
First release: about 1 year ago
Dependent packages: 3
Stars: 11 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago

Readme