AlgebraicSynchronizer

Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 in OCaml

Please see https://www.epcsirmaz.co.uk/algsyn.html