OPB格式

OPB文件格式用于存储伪布尔满足和伪布尔优化模型。这些模型可能只包含二元变量，但这些变量可以在约束和目标中相互补充和相乘。OPB文件中的伪布尔模型由Gurobi转换为MIP表示。OPB格式的语法详细描述如下：卢塞尔和曼奎尼奥. 但是，Gurobi支持的OPB格式限制较少，例如，允许使用分数系数。

以下是PSEDOO布尔优化模型的示例

$\begin{displaymath}\begin{array}{ll}\mathrm{minimize}&y-1.3x（1-z）+（1-z…\\\&-y\le0，\\\&v，w，x，y，z\in\{0，1\}。\end{array}\end{displaymath}$

(1.)

本例中对应的OPB文件如下所示：

*这是一个伪psedoo布尔优化模型min:y-1.3x~z+~z；2y-3x+1.7w=1.7；-1y+x+xz~v>=0；-1y<=0；

以开头的行*被视为注释并被忽略。非注释行必须以分号结尾;.Whitespace字符必须用于分隔变量。变量的补码可以用波浪号指定~.

仅支持最小化模型。这些型号必须使用最小值：目标关键字。此关键字必须出现在其他约束之前。可通过省略目标来定义可满足性模型。

约束感>=,=和<=支持。