v2.5.4
* Remove rewrite of Boolean equality to two implications. This is no longer necessary in SMT-LIB. * fixup! Remove rewrite of Boolean equality to two implications. This is no longer necessary in SMT-LIB.
* Remove rewrite of Boolean equality to two implications. This is no longer necessary in SMT-LIB. * fixup! Remove rewrite of Boolean equality to two implications. This is no longer necessary in SMT-LIB.