This projects provides all the implementation details for the results related to the paper: ''Reconstructing S-boxes from Cryptographic Tables with MILP'', IACR Transactions on Symmetric Cryptology (ToSC) Volume 3, 2024, co-authored by Raghvendra Rohit and Sumanta Sarkar.