Allow parameters in constraints

[dpsanders]

It is not clear what syntax to use to distinguish variables (that specify the dimensions of the space that the feasible region lives in) and parameters (basically, constants that are specified externally).

Maybe

S = @constraint(c, 1 <= (x - c)^2 <= 3 )

The last argument is the constraint; the others specify that those variables are parameters.
Then S(1) should be the constraint specialised with c = 1 etc.

[dpsanders]

Another possible syntax was proposed by Simon Byrne:

@constraint 1 <= (x - $c)^2 <= 3

where the $ indicates that c is a parameter whose value comes from outside (where?).

[dpsanders]

Constants seem to be working.