A system is provided with a memory device and a processor. The memory device is adapted to store data representative of a multi-valued decision diagram (MDD) specifying a buildable space of all possible configurations of a vehicle. The processor is in communication with the memory and is programmed to identify an invalid configuration, and to generate a restricted buildable space, including to determine an edit distance of each complete path indicative of a number of features to change the invalid configuration of that path to one of the valid configurations, identify a minimum of the edit distances, and remove configurations having edit distances larger than the minimum. The processor is further programmed to identify at least one feature to change the invalid configuration to at least one valid configuration based on the restricted buildable space; and to generate output indicative of the at least one feature to change.