<=> package:sbv

Symbolic boolean equivalence