T

transbooleq

A transformation tool to replace Boolean equalities by equational constraints