Loop Acceleration Tool for Integer Programs - View it on GitHub