sdrs

Partially formally verified Rust port of SDC

Optimize range_query to match fenwick.c

Changes

1 changed files (+12/-2)