METHOD AND SYSTEM FOR DETERMINING A CONFIGURATION OF A MODEL HAVING A COLLECTION OF ENTITIES AND SATISFYING A SET OF CONSTRAINTS

摘要

A method determines a configuration of a model. The model, includes entities feat satisfy constraints. Variables represent the entities and each constraint, corresponds to constraint equations. The constraints equations interrelate a subset of variables. At least one tree is generated. The tree includes a root node and she root node has at least one child. Nodes having a child node define parent nodes. Nodes lacking child nodes define leaf nodes. Each node corresponds to a subset of the constraint equations. Constraint equations of a subset of leaf nodes are satisfied in parallel. Constraint equations of parent nodes with satisfied child nodes are satisfied based on the satisfied constraint equations of the corresponding child nodes. Constraint equations are satisfied until the constraint equations of the root node are satisfied. Satisfied constraint equations of each parent node are propagated to corresponding child nodes. Entities of the determined configuration are output for display.