ALEXANDRIA, Va., June 16 -- United States Patent no. 12,307,171, issued on May 20.

"Methods and system for incremental exploration of design changes in large computer-aided design models" was invented by Michael A. Reitman (Zikhron Yacove, Israel), Leonid Ryvchin (Haifa, Israel), Moshe Jacob Baum (Carlisle, Mass.), Ivan Baltaga (Haifa, Israel) and Sergey Gurin (Haifa, Israel).

According to the abstract* released by the U.S. Patent & Trademark Office: "Example embodiments provide methods, mediums, and systems for making and evaluating changes to a model. According to example embodiments, checkpoints may be created as a user changes components in the model. The checkpoints may store changed components in the model that have been changed sin...