Wrote a utility optimizing NAND gate count for a given truth table