A program to find optimal circuits for 4-variable/16-bit s-boxes. Developed at NTU under the supervision of Professor Anupam Chattopadhyay.