org.cvogt.scala.constraint.boolean
Proves or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)
Proves or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)