loop_invariants_string
String algorithms with loop-invariant explanations
algorithms
strings
automata
loop-invariants
Author
Version
0.15.1
License
Apache-2.0
Last updated
10 days ago
Downloads
65
#String Algorithms
This module contains pattern matching, hashing, suffix structures, palindromic
structures, tries, automata, and string rotation algorithms.
Packages are organized as one algorithm or data structure 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 zipString algorithms with loop-invariant explanations
algorithmsstringsautomataloop-invariants
Apache-2.0
Updated 10 days ago
65 downloads