吡咯烷酮SAT与CP-SAT有何不同？

Question

在ortools中，如果只有0-1变量，则可以从

from ortools.sat.python import cp_model

或者你可以用

from ortools.linear_solver import pywraplp
solver = pywraplp.Solver.CreateSolver('SAT')

这些求解者是相同的吗?如果不是，有什么区别？

Answer 1

Pywraplp支持带有浮点系数的线性方程/不等式。

CP是唯一的积分，但支持更多的约束(二次调度、路由.)除了线性约束。

pywraplp与SAT后端缩放所有系数以实现线性约束，即只具有积分系数，然后调用CP求解器。