Tilescope (formerly known as ATRAP)

Tilescope is an algorithm for finding and proving structures of permutation sets.

Some of the most notable successes so far are: