Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 1.7% downloads on npmjs.org
Top 1.8% dependent packages on npmjs.org
Top 0.8% dependent repos on npmjs.org
Top 5.9% forks on npmjs.org
Top 0.6% docker downloads on npmjs.org
npmjs.org : logic-solver
General satisfiability solver for logic problems
Registry
-
Source
- JSON
purl: pkg:npm/logic-solver
Keywords: sat, solver, logic, constraint
License: MIT
Latest release: about 8 years ago
First release: about 9 years ago
Dependent packages: 12
Dependent repositories: 426
Downloads: 10,287 last month
Stars: 143 on GitHub
Forks: 14 on GitHub
Docker dependents: 12
Docker downloads: 79,816
See more repository details: repos.ecosyste.ms
Last synced: 12 days ago