Implementation of Matsui's algorithm for finding the minimum number of active S-boxes for Skinny.
Compile with: g++ -O3 --std=c++11 -o matsui matsui.cpp
Note that this implementations relies heavily on recursion and therefore you might have to increase the stack size.