A transformation tool to replace Boolean equalities by equational constraints
Detailed package documentation (available shortly after this version has been published)