SmartSim: 1.3.2 - digital logic simulator.

Add SmartSim formula: A tool to design and simulate digital logic circuits of
varying complexity.