https://hgpu.org/?p=10653
Clock Math - A System for Solving SLEs Exactly