Searched refs:NotEquivalent (Results 1 – 1 of 1) sorted by relevance
217 auto NotEquivalent = Ctx.neg(Ctx.iff(XIffY, XIffYDNF)); in TEST() local220 expectUnsatisfiable(solve({NotEquivalent})); in TEST()320 auto NotEquivalent = Ctx.neg(Ctx.iff(XImpliesY, XImpliesYDNF)); in TEST() local323 expectUnsatisfiable(solve({NotEquivalent})); in TEST()