Ecosyste.ms: Packages

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

npmjs.org : @yowasp/boolector

boolector Satisfiability Modulo Theories (SMT) solver

Registry - Source - Homepage - JSON
purl: pkg:npm/%40yowasp/boolector
Keywords: boolector, fpga, pypi, webassembly, yosys
License: ISC
Latest release: 3 months ago
First release: 5 months ago
Namespace: yowasp
Downloads: 7 last month
Stars: 1 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago

Readme