AlgebraicSynchronizer Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 in OCaml Please see http://www.epcsirmaz.com/?q=algsyn