MiniZinc

MiniZinc 是一种免费且开源的约束建模语言。
您可以使用 MiniZinc 以高级、与求解器无关的方式建模约束满足和优化问题，并利用大量预定义约束库。您的模型随后会被编译为 FlatZinc，这是一种被多种求解器广泛支持的求解器输入语言。
MiniZinc 由莫纳什大学与 Data61 决策科学部及墨尔本大学合作开发。