Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
npmjs.org : ats-extsolve-smt2
For solving ATS-constraints externally
Registry
- JSON
purl: pkg:npm/ats-extsolve-smt2
Keywords: ATS, ATS-extsolve, ATS-extsolve-smt2
License: MIT
Latest release: over 6 years ago
First release: over 7 years ago
Dependent packages: 2
Dependent repositories: 1
Downloads: 17 last month
Last synced: 7 days ago
Loading...
Readme
Loading...