Python app, which will convert your favourite logic formulae into MOS-based Spice netlist. And simulate it.