Adders

Binary addition circuits with carry propagation visualization.