Reverses bitwise operations using CVC4 to find individual components of bitmasks - View it on GitHub