Decision Workspace
numra-dde vs good_lp vs z3
Side-by-side comparison of Rust crates
49
numra-dde
experimentalv0.1.5
Delay differential equation solvers for Numra: method of steps with embedded Runge-Kutta and Hermite history interpolation.
76
good_lp
stablev1.15.2
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.
72
z3
growingv0.20.2
High-level rust bindings for the Z3 SMT solver from Microsoft Research
Core Metrics
| numra-dde | good_lp | z3 | |
|---|---|---|---|
| Health Score | 49 | 76 | 72 |
| Total Downloads | 158 | 3.4M | 1.4M |
| 30d Downloads | 0 | 212.4K | 93.3K |
| Dependents | 6 | 286 | 617 |
| Releases | 6 | 62 | 55 |
| Last Updated | 52d ago | 43d ago | 17d ago |
| Age | 2m | 5y 5m | 10y 6m |
Health Breakdown
numra-dde
Maintenance
11
Quality
14
Community
8
Popularity
3
Documentation
13
good_lp
Maintenance
16
Quality
21
Community
18
Popularity
8
Documentation
13
z3
Maintenance
17
Quality
16
Community
17
Popularity
7
Documentation
15
Technical Details
| numra-dde | good_lp | z3 | |
|---|---|---|---|
| Version | 0.1.5 | 1.15.2 | 0.20.2 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✗ No |
| License | LicenseRef-Numra-Academic-Research-NonCommercial | MIT | MIT |
| Dependencies | 3 | 12 | 6 |
| Crate Size | 21KB | 68KB | 107KB |
| Features | 0 | 6 | 6 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2024 | 2024 |
| MSRV | 1.83 | — | 1.85.0 |
| Owners | 1 | 2 (team) | 5 |
Links
Quick Verdict
- •good_lp leads with a health score of 76/100, but none of the options score above 80.
- •z3 is depended on by 617 crates — strongest ecosystem trust.
- •numra-dde, z3 are pre-1.0 — API may change.