Zemax is a commercial optical design program designed by Ken Moore and has been developed since the 1980s. Zemax has two basic operational modes, sequential ray tracing and non-sequential which can cope with back propagation.
Competitors include OSLO and Code V.