First steps
Usage docs
Development docs
Python API
Computes a logical xor provided x and y are bitvectors.