最适合列出所有可能的bool序列的编程语言

Question

我需要列出一定长度（例如100）的所有bool序列，它们满足一组给定的规则。规则的一个示例是：如果bit10 = bit20 = 1，则bit35 = 0。

我编写了一个C ++程序，它可以在几秒钟内枚举可能的序列，但它太长而复杂。你能推荐一种编程语言吗？我可以通过明显更短的代码和（接近）类似的性能实现这一目标吗？

Answer 1

如果您需要解决变量规则是程序输入的广义问题，则称为Satisfiability或“SAT”。那里有几个SAT求解器，例如CryptoMiniSat，具有不同的功能。您必须将规则转换为输入格式，然后在其上运行SAT求解器。