Optimization: Remove all constraints of form "a == F(b,c)" and insert "F(b,c)" where ever "a" is found
The following gate fit the "a == F(b,c)" format; where a is the result of the gate:
- NOT:
a == 1 - b
- BUF:
a == b
- XOR:
a == abs(b - c)
- XNOR:
a == 1 - abs(b - c)