csirmaz / algebraicsynchronizer Goto Github PK
View Code? Open in Web Editor NEWImplements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
License: GNU General Public License v3.0