GitHub repository: IX0Y3/LoAT
Primary language: C++
Description: Loop Acceleration Tool for Integer Programs