Decision Workspace
propositional vs logiq vs predicates
Side-by-side comparison of Rust crates
37
propositional
growingv0.1.0-alpha.2
Propositional Logic
41
logiq
growingv1.0.1
A logic SAT solver
77
predicates
stablev3.1.4
An implementation of boolean-valued predicate functions.
Core Metrics
| propositional | logiq | predicates | |
|---|---|---|---|
| Health Score | 37 | 41 | 77 |
| Total Downloads | 2.5K | 724 | 147.2M |
| 30d Downloads | 4 | 3 | 11.3M |
| Dependents | 0 | 0 | 24.1K |
| Releases | 2 | 3 | 37 |
| Last Updated | 634d ago | 173d ago | 44d ago |
| Age | 1y 9m | 6m | 8y 10m |
Health Breakdown
propositional
Maintenance
5
Quality
16
Community
2
Popularity
4
Documentation
10
logiq
Maintenance
11
Quality
11
Community
6
Popularity
3
Documentation
10
predicates
Maintenance
16
Quality
21
Community
17
Popularity
8
Documentation
15
Technical Details
| propositional | logiq | predicates | |
|---|---|---|---|
| Version | 0.1.0-alpha.2 | 1.0.1 | 3.1.4 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✓ Yes |
| License | MIT | GPL-3.0 | MIT OR Apache-2.0 |
| Dependencies | 0 | 4 | 7 |
| Crate Size | 4KB | 14KB | 24KB |
| Features | 0 | 0 | 4 |
| Yanked % | 0.0% | 66.7% | 0.0% |
| Edition | 2021 | 2024 | 2021 |
| MSRV | — | — | 1.74 |
| Owners | 1 | 1 | 2 |
Links
Quick Verdict
- •predicates leads with a health score of 77/100, but none of the options score above 80.
- •predicates is depended on by 24.1K crates — strongest ecosystem trust.
- •⚠ propositional has not been updated in over a year.
- •propositional is pre-1.0 — API may change.