rustio rustio.net

Decision Workspace

constraint-theory-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

Core Metrics

constraint-theory-llvm
Health Score45
Total Downloads105
30d Downloads0
Dependents8
Releases1
Last Updated68d ago
Age2m

Health Breakdown

constraint-theory-llvm
Maintenance
9
Quality
15
Community
9
Popularity
2
Documentation
10

Technical Details

constraint-theory-llvm
Version0.1.1
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies4
Crate Size62KB
Features2
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

constraint-theory-llvm detail →GitHub ↗crates.io ↗

Quick Verdict

  • •constraint-theory-llvm leads with a health score of 45/100, but none of the options score above 80.