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

crates.io : boolean-circuit

A library to import, modify and export boolean circuits.

Registry - Source - Documentation - JSON
purl: pkg:cargo/boolean-circuit
Keywords: aiger , circuit , cnf , dimacs , gate
License: MIT,Apache-2.0
Latest release: 3 months ago
First release: 5 months ago
Downloads: 1,311 total
Stars: 0 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago

    Loading...
    Readme
    Loading...