A system is provided with a memory and a processor. The memory is configured to store a cached copy of data representative of a multi-valued decision diagram (MDD). The MDD indicates a Boolean function specifying a buildable space of all possible configurations of features of a vehicle. The processor is in communication with the memory, and programmed to generate a working copy of the data from the cache. The processor is further programmed to generate a restricted buildable space in the working copy of the data while traversing the MDD, including to remove available features from the labels of the outgoing edges deemed invalid according to a feature selection, disconnect outgoing edges having no remaining available features, and replace nodes that have no outgoing edges with the false node.