ReadGlim
Constrained PSLQ Search for Machin-like Identities Achieving Record-Low Lehmer Measures — ReadGlim