Decision Workspace
veripb vs good_lp vs oxipng
Side-by-side comparison of Rust crates
55
veripb
experimentalv3.0.2
VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds.
77
good_lp
stablev1.15.0
Mixed Integer Linear Programming for Rust, with an user-friendly API. This crate allows modeling LP problems, and lets you solve them with various solvers.
74
oxipng
stablev10.1.0
A lossless PNG compression optimizer
Core Metrics
| veripb | good_lp | oxipng | |
|---|---|---|---|
| Health Score | 55 | 77 | 74 |
| Total Downloads | 298 | 2.7M | 1.2M |
| 30d Downloads | 15 | 231.9K | 114.6K |
| Dependents | 0 | 255 | 423 |
| Releases | 3 | 60 | 79 |
| Last Updated | 7d ago | 36d ago | 61d ago |
| Age | 5m | 5y 1m | 10y |
Health Breakdown
veripb
Maintenance
19
Quality
13
Community
8
Popularity
3
Documentation
12
good_lp
Maintenance
17
Quality
21
Community
18
Popularity
8
Documentation
13
oxipng
Maintenance
15
Quality
20
Community
17
Popularity
7
Documentation
15
Technical Details
| veripb | good_lp | oxipng | |
|---|---|---|---|
| Version | 3.0.2 | 1.15.0 | 10.1.0 |
| Stable (≥1.0) | ✓ Yes | ✓ Yes | ✓ Yes |
| License | MIT OR Apache-2.0 | MIT | MIT |
| Dependencies | 22 | 12 | 15 |
| Crate Size | 131KB | 67KB | 74KB |
| Features | 0 | 6 | 7 |
| Yanked % | 0.0% | 0.0% | 2.5% |
| Edition | 2021 | 2024 | 2024 |
| MSRV | 1.84.0 | — | 1.85.1 |
| Owners | 2 | 2 (team) | 3 |
Links
Quick Verdict
- •good_lp leads with a health score of 77/100, but none of the options score above 80.
- •oxipng is depended on by 423 crates — strongest ecosystem trust.