Can specify a variable value in a constraint, like x = 5
Added the ability to sum variables. So you can use a constraint like this: x + x + y - y <= x+y