rustsat-batsat
v0.7.5crates.io· RustInterface to the SAT solver BatSat for the RustSAT library. BatSat is fully implemented in Rust
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
80 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.48 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.1.5over a year ago
- 0.1.4over a year ago