bitoperations.py 236 Bytes
Newer Older
Martin Bauer's avatar
Martin Bauer committed
1
import sympy as sp
2
3
4
5
6
bitwise_xor = sp.Function("bitwise_xor")
bit_shift_right = sp.Function("bit_shift_right")
bit_shift_left = sp.Function("bit_shift_left")
bitwise_and = sp.Function("bitwise_and")
bitwise_or = sp.Function("bitwise_or")