kdrag.Antisymm

kdrag.Antisymm(rel) → BoolRef

>>> Antisymm(smt.Function("rel", smt.IntSort(), smt.IntSort(), smt.BoolSort()))
ForAll([x, y], Implies(And(rel(x, y), rel(y, x)), x == y))