GitHub repository: walterxie/flc
Primary language: Java
Description: Local clock model using relaxed and strict clocks