Majority-inverter graph based logic optimiser (highly experimental) - View it on GitHub