Using CP-SAT Solver for non-linear objective function

Question

I'm trying to use CP-SAT solver with some variables: x,y. I want to maximise an objective function of the form x**2-y*x with some constraints. I'm getting

TypeError: unsupported operand type(s) for ** or pow(): 'IntVar' and 'int'

error messages. Am I correct in assuming I cannot use nonlinear objective function for CP-SAT, as I couldn't find any documentation or examples that did employ nonlinear objectives? Or is there some way to do this?

score 3 · Accepted Answer · answered Aug 16 '19 at 12:18

3

You have to create an intermediate variable using AddMultiplicationEquality(x2, [x, x])

answered Aug 16 '19 at 12:18

Stradivari

2,626
1
9
21

It seems to be AddProdEquality nowadays. – Joseph Doob Aug 16 '19 at 14:53
1

I think it was deprecated in favor of MultiplicationEq – Stradivari Aug 16 '19 at 21:56
1

Indeed, the non deprecated API is AddMultiplicationEquality – Laurent Perron Aug 19 '19 at 02:08

Using CP-SAT Solver for non-linear objective function

1 Answers1