Constant interpolation does not seem to work anymore when defining constraints.
In julia 1.5
julia> a = 3
3
julia> S = @constraint x^2 + y^2 - $a <= 0
Separator:
- variables: x, y
- expression: (x ^ 2 + y ^ 2) - 3 ∈ [-∞, 0]
whereas in julia 1.6
julia> a = 3
3
julia> S = @constraint x^2 + y^2 - $a < 0
ERROR: UndefVarError: a not defined
Stacktrace:
[1] top-level scope
@ ~\.julia\packages\IntervalConstraintProgramming\ThYlN\src\separator.jl:153