Home
last modified time | relevance | path

Searched defs:positive_variable (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Dfeasibility_pump.cc107 IntegerVariable positive_variable) { in GetOrCreateMirrorVariable()
H A Dlinear_programming_constraint.cc199 IntegerVariable positive_variable) { in GetOrCreateMirrorVariable()