Superopt
- Install
z3, more in https://github.com/Z3Prover/z3
git clone https://github.com/Z3Prover/z3.git
cd z3
git checkout 1c7d27bdf31ca038f7beee28c41aa7dbba1407dd
python scripts/mk_make.py
cd build
make
sudo make install
- Install
superopt. Keep superopt folder and z3 folder in the same directory level
cd ../../
git clone https://github.com/smartnic/superopt.git
cd superopt
make main_ebpf.out
Todo: add more instructions soon