Hydro Optimize

Installation

ILP Solver

These crates rely on the HiGHS ILP solver to find the optimal set of rewrites. The cmake compiler is required:

Linux:

sudo apt-get install cmake

MacOS (assuming HomeBrew is installed):

brew install cmake

Profiling

MacOS profiling requires samply:

cargo install --locked samply