| 摘要 |
Systems, methods, and computer readable mediums. A method includes receiving an input expression including a set of options joined using logical operators. The method includes converting the input expression into an order string. The method includes receiving at least one rule that defines relationships between variants of different option families and receiving a configuration expression that specifies values for some but not all variants of the option families. The method includes producing a conjunctive normal form (CNF) order expression corresponding to the order string, at least one rule, and configuration expression. The method includes performing a partial solve of the order expression, the partial solve producing a result set that describes all possible configurations that correspond to the configuration expression. |
