loop_invariants_data_structures
Data structures with loop-invariant explanations
algorithms
data-structures
loop-invariants
Author
Version
0.11.1
License
Apache-2.0
Last updated
10 days ago
Downloads
55
#Data Structures
This module contains array, range-query, tree, heap, trie, and ordered-set style
data structures, including Fenwick trees, segment trees, sparse tables, treaps,
skip lists, wavelet trees, and union-find.
Packages are organized as one structure or closely related structure family per
directory. Each package contains a README.mbt.md tutorial with examples that
are checked by moon test.
Run from the workspace root:
moon check
moon test
moon info
moon fmtInstall
Download zipData structures with loop-invariant explanations
algorithmsdata-structuresloop-invariants
Apache-2.0
Updated 10 days ago
55 downloads