All codes for our experiments are provided in this repository, including SKINNY, craft, GIFT and Rijndeal. The impossible differentials are also provided in Results folder.
In each folder, you can find a Makefile, so, in principle, you can type make to compile the codes and run for the results.
Before you use make, however, you may need to install the Gurobi solver, you can find the installer from their official website.
Their provide concrete instructions for installing Gurobi in your own platform.
To configure the makefile, you need replace the GUROBI_HEAD and GUROBI_LIB with your platform's own path.