Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool