逻辑到析取程序

Classes

LogicalToDisjunctive(**kwds)

将逻辑约束重新编码为线性约束，将布尔变量转换为二进制。