GitHub repository: rkm0959/Inequality_Solving_with_CVP
Primary language: Sage
Description: CVP "trick" for CTF challenges