【文件属性】：
文件名称：MiniZinc Handbook中文手册
文件大小：5.77MB
文件格式：PDF
更新时间：2023-04-14 06:59:55
MiniZinc FlatZinc 手册 指南 Handbook
MiniZinc中文手册，PDF
MiniZinc is a language for specifying constrained optimization and decision problems over integers and real numbers. A MiniZinc model does not dictate how to solve the problem - the MiniZinc compiler can translate it into different forms suitable for a wide range of solvers, such as Constraint Programming (CP), Mixed Integer Linear Programming (MIP) or Boolean Satisfiability (SAT) solvers.