LocalSolver快速入门指南（连载十五) ---- LocalSolver建模功能特色（约束和目标）

LocalSolver建模功能特色---约束 和目标

Constraints（约束）

约束是一种标记，它放置在表达式上强制让其变为true（表达式值等于1）。在LocalSolver中，可以约束具有布尔值（0、1）的任何变量或中间表达式。因此，“所有”涉及到关系运算符（<，<=，>，>=，=，=，！=）的表达式，以及逻辑操作符 “和”（&&）或（| |）、xor或iif（Immediate IF）都可以被约束，不限于问题类型。特别是，LocalSolver不仅限于线性约束，而且还可以处理高度非线性的模型。

要在Local Solver建模器(modeler)中将表达式标记为约束，只需使用关键字constraint作为其前缀。例如：

LSP：

// These two formulations are equivalent这两个公式是等价的