ReadGlim
SemVerBench: Benchmarking LLM Comprehension of Version-Constraint Resolution Semantics — ReadGlim