This patch implements the transformation (A|B)^((A^C)|B) --> (~B)C
Please help in reviewing it.
Z3 Link : http://rise4fun.com/Z3/XslkK
ankur29.garg on Aug 19 2014, 2:23 AM.Authored by
Please provide the information asked in other thread for similar pattern: