SODA Computation Reuse

This is the fast C++ computation reuse exploration engine for SODA.

Build

Ubuntu 16.04+

sudo apt install cmake clang-8 libc++-8-dev libc++abi-8-dev libglpk-dev
git clone https://github.com/Blaok/soda-cr
cd soda-cr
mkdir build
cd build
cmake .. -D CXX=clang++-8
make