rustsat

v0.7.5crates.io· Rust

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

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

626 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.6.6over a year ago
0.6.5over a year ago