Ecosyste.ms: Packages

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

crates.io : cat_solver

Rust bindings for the Kissat SAT solver

Registry - Source - Documentation - JSON
purl: pkg:cargo/cat_solver
Keywords: logic, satisfiability, kissat, sat, solver
License: MIT
Latest release: 8 months ago
First release: over 1 year ago
Dependent packages: 1
Downloads: 1,985 total
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 21 days ago

Readme