Tries to find the definitively best equivalent circuit, by generating every possible circuit at each smaller size. This works pretty well up to about 5 gates, and then falls apart due to the combinatorial explosion.
Successes:
finds the 4-gate Xor that @dfithian discovered earlier
Tries to find the definitively best equivalent circuit, by generating every possible circuit at each smaller size. This works pretty well up to about 5 gates, and then falls apart due to the combinatorial explosion.
Successes: