Program for finding low gate count implementations of S-boxes. - View it on GitHub