No, OR Tools SCIP solver employs constraints. SCIP (Solving Constraint Integer Programs) is a constraint integer programming solver that can handle linear and nonlinear problems with continuous and/or integer variables. It uses constraint propagation to reduce the search space and can prove optimality or infeasibility of a problem. SCIP also supports a wide range of constraints including linear, quadratic, and nonlinear constraints.
Asked: 2021-06-17 11:00:00 +0000
Seen: 9 times
Last updated: Sep 16 '22