If and only If (in constraints)
hfaghihi15 opened this issue · comments
Do we have a logical interface to define the constraint of If and only If ?! @auszok
epqL = equal p q
hfaghihi15 opened this issue · comments
Do we have a logical interface to define the constraint of If and only If ?! @auszok
epqL = equal p q