Lib.rs

约束排列的一个简单实现。

这里的约束被视为一个全局可识别的函数，它接受一些具有固定类型的参数。例如，f(int, bool) 可以是一个接受一个整数和一个布尔值的约束，其返回值未知。如果我们有一个约束包，其中每个约束都通过一系列变量应用，那么我们就有一个未知返回值的包。给定两个约束包以及每个包使用的变量集，我们希望找到所有可能的变量映射，使得在这两种映射下，两个约束包可以评估为相同的结果包。