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