Lambda Research Corp. sells OSLO for conventional lens design and TracePro for non-sequential design.