exec-sat
v0.1.2crates.io· RustExecutes SAT solver and parses SAT solver output
The verdict
Aging — last published over a year ago — check before adopting. Check the repo for activity before adopting.
Check the repo for activity before adopting.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAging
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published over a year ago — check before adopting.
Popularity
5 downloads / week
Security
No known advisories for this version (OSV).
License
LGPL-2.1-or-later
Dependencies
No runtime dependencies
Recent releases
- 0.1.2over a year ago
- 0.1.13 years ago
- 0.1.03 years ago