Sisyphus is a framework for automated code transformation and pragma insertion in High-Level Synthesis, leveraging nonlinear programming. - View it on GitHub