Decision Workspace
constraint-theory-llvm vs flux-lucid vs wasmer-compiler-llvm
Side-by-side comparison of Rust crates
45
constraint-theory-llvm
experimentalv0.1.1
LLVM backend for constraint theory — CDCL → LLVM IR → AVX-512 with direct x86-64 emission
47
flux-lucid
experimentalv0.1.7
Unified constraint theory ecosystem — CDCL, LLVM, AVX-512, GL(9) consensus, 9-channel intent
72
wasmer-compiler-llvm
stablev7.2.0
LLVM compiler for Wasmer WebAssembly runtime
Core Metrics
| constraint-theory-llvm | flux-lucid | wasmer-compiler-llvm | |
|---|---|---|---|
| Health Score | 45 | 47 | 72 |
| Total Downloads | 105 | 126 | 302.7K |
| 30d Downloads | 0 | 0 | 3.9K |
| Dependents | 8 | 0 | 349 |
| Releases | 1 | 8 | 103 |
| Last Updated | 68d ago | 62d ago | 13d ago |
| Age | 2m | 2m | 5y 11m |
Health Breakdown
constraint-theory-llvm
Maintenance
9
Quality
15
Community
9
Popularity
2
Documentation
10
flux-lucid
Maintenance
12
Quality
16
Community
6
Popularity
3
Documentation
10
wasmer-compiler-llvm
Maintenance
18
Quality
17
Community
17
Popularity
7
Documentation
13
Technical Details
| constraint-theory-llvm | flux-lucid | wasmer-compiler-llvm | |
|---|---|---|---|
| Version | 0.1.1 | 0.1.7 | 7.2.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✓ Yes |
| License | Apache-2.0 | Apache-2.0 | non-standard |
| Dependencies | 4 | 3 | 20 |
| Crate Size | 62KB | 28KB | 106KB |
| Features | 2 | 4 | 1 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2024 |
| MSRV | — | — | 1.93 |
| Owners | 1 | 1 | 3 (team) |
Links
Quick Verdict
- •wasmer-compiler-llvm leads with a health score of 72/100, but none of the options score above 80.
- •wasmer-compiler-llvm is depended on by 349 crates — strongest ecosystem trust.
- •constraint-theory-llvm, flux-lucid are pre-1.0 — API may change.