最合适的编程语言，用于列出所有可能的布尔序列

Question

我需要列出一定长度的所有布尔序列（例如100），该序列满足一组规则。规则的一个示例是：如果BIT10 = BIT20 = 1，则Bit35 = 0。

我编写了一个C 程序，该程序在几秒钟内列举了可能的序列，但它太长且复杂。您能推荐我一种编程语言，在其中我可以通过较短的代码和（接近）类似的性能来实现这一目标？

Answer 1

如果您需要解决可变规则是您程序的输入的广义问题，则称为"满意度"或" SAT"。那里有几个SAT求解器，例如加密，具有不同的功能。您必须将规则转换为他们的输入格式，然后在此上运行SAT求解器。