SmartSim: 1.4 - digital logic simulator.

Add SmartSim formula: A tool to design and simulate digital logic circuits of
varying complexity.

This PR uses the latest version.