cvlr-nondet is used at run time in 4 crates (of which 1 optionally). It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) cvlr-nondet version
230 2 cvlr-mathint =0.4.0
210 cvlr =0.4.0
100 cvlr-soroban >=0.4.0, <1