Bitwise operators can be achieved in TOOL.
If a[dims] and b[dims] are integer objects with value 0 or 1 (i.e. boolean representations):
a[dims]
b[dims]
1 - a[dims]
a[dims] * b[dims]
boolgt (a[dims] + b[dims], 0)
booleq (a[dims] + b[dims], 1)