/AlgebraicSynchronizer

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

Primary LanguageOCamlGNU General Public License v3.0GPL-3.0

No issues in this repository yet.