Sync

Algorithm:
1. System of Difference Constraints