Ecosyste.ms: Packages

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

Top 7.4% dependent packages on crates.io

crates.io : cadical

Rust bindings for the CaDiCaL SAT solver

Registry - Source - Documentation - JSON
purl: pkg:cargo/cadical
Keywords: minisat, logic, sat, solver, satisfiability
License: MIT
Latest release: over 1 year ago
First release: almost 4 years ago
Dependent packages: 4
Dependent repositories: 2
Downloads: 9,214 total
Stars: 6 on GitHub
Forks: 7 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 10 days ago

Readme