rustsat-cadical
v0.7.5crates.io· RustInterface to the SAT solver CaDiCaL for the RustSAT library.
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 4 months ago.
Popularity
258 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
- 0.7.54 months ago
- 0.7.47 months ago
- 0.7.310 months ago
- 0.7.2over a year ago
- 0.7.1over a year ago
- 0.7.0over a year ago
- 0.4.6over a year ago
- 0.4.5over a year ago