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 Constraint Declarations
    keep_var_con : Size=1, Index=None, Active=True
        Key  : Lower : Body : Upper : Active
        None :   0.5 :   x1 :   0.5 :   True

1 Complementarity Declarations
    cc : Size=1, Index=None, Active=False
        Key  : Arg0   : Arg1             : Active
        None : y + x3 : x1 + 2*x2  ==  1 :  False

6 Declarations: y x1 x2 x3 cc keep_var_con
