4 Var Declarations
    x1 : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals
    x2 : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals
    x3 : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals
    y : Size=1, Index=None
        Key  : Lower : Value : Upper : Fixed : Stale : Domain
        None :  None :  None :  None : False :  True :  Reals

1 Block Declarations
    cc : Size=1, Index=None, Active=True
        Key  : Arg0                      : Arg1   : Active
        None : x1 + 2*x2 + 3*x3  ==  1.0 : y + x3 :   True
        1 Constraint Declarations
            c : Size=1, Index=None, Active=True
                Key  : Lower : Body             : Upper : Active
                None :   1.0 : x1 + 2*x2 + 3*x3 :   1.0 :   True

        1 Declarations: c

5 Declarations: y x1 x2 x3 cc
