给出产品的各种功能，功能选项以及功能之间的兼容性规则，我想生成所有可行产品配置的列表。
例如，我当前的用例类似于配置笔记本电脑。屏幕尺寸，内存，CPU，主板等许多变量，每个变量都有多个有效值。我们也可能会遇到一些限制，例如该主板与此CPU等兼容。我需要的输出是笔记本电脑所有有效配置的列表。
该方案看起来像一个典型的约束满意度问题（CSP）。我尝试了Minion，Choco等CSP库。不幸的是，它们仅使用数字变量，并且兼容性规则也是数学函数。
我还尝试了http://labix.org/python-constraint，其中使用了功能约束，并以If语句的形式提供了兼容性规则。这适用于小型方案。但是根据我的要求，我将拥有10个功能，每个功能具有4到5个选项，从而产生数百万个配置。
有人可以建议满足我需求的最佳方法吗？