comparison operators to create Constraints from Values?

[exaexa]

this could work:

sometree.someconstraint.value >=0

equal to say

C.Constraint(sometree.someconstraint.value, C.Between(0, Inf))

or so.

[stelmo]

what about

sometree.someconstraint.value == 0

same as

C.Constraint(sometree.someconstraint.value, C.EqualTo(0))

Lol, basically JuMP syntax, but without the macros

[exaexa]

OK after re-reading the docs (like here: https://cobrexa.github.io/ConstraintTrees.jl/v1.0/0-quickstart/#Combining-constraint-systems:-Let's-have-a-factory%21 ) I guess this should be given priority. The constraints in the snippets there are not nice at all. :D

[exaexa]

extra take: == should return Bool to prevent absolute type madness; maybe C.equal_constraint(x, y) ?

EDIT: might be useful to just backport some of the simple constraint building stuff from COBREXA. After thinking a bit I'm not sure if having the operators is a good idea at all (Julia can't typecheck the result types very easily so in the end we might have one huge source of hidden bugs)