#!=
IntVar
#->
BooleanVar
#<
IntVar
#<->
BooleanVar
Reifier
#<=
IntVar
SetVar
#=
BooleanVar
IntVar
SetVar
#>
IntVar
#>=
IntVar
SetVar
%
IntVar
&
BooleanVar
*
IntSet
IntVar
SetVar
+
IntSet
IntVar
Network
SetVar
+=
FSM
-
IntVar
/
IntVar
<>
SetVar
\
IntSet
SetVar
^
BooleanVar
|
BooleanVar
~>
State