约束求解器：一种软件工具/算法系统，用来在给定一组约束条件（规则、限制）下，自动寻找满足条件的可行解（或最优解）。常见于排程、配置、路径规划、形式化验证、SAT/SMT、运筹优化等领域。
/kənˈstreɪnt ˈsɑːlvər/
A constraint solver can find a schedule that avoids conflicts.
约束求解器可以找到一个避免冲突的排程。
To verify the design, the engineer encoded the rules as constraints and used a constraint solver to check whether any solution exists.
为了验证设计，工程师把规则编码成约束，并用约束求解器检查是否存在可行解。
constraint 来自拉丁语 constringere，意为“束紧、限制”；solver 源自 solve（解决、求解）。合在一起，字面意思就是“在限制条件下进行求解的工具/程序”。在计算机科学中，该术语随“约束满足问题（CSP）”“约束编程（CP）”等研究发展而普及。
Select Language