Searched refs:YEqZ (Results 1 – 1 of 1) sorted by relevance
279 auto YEqZ = Ctx.iff(Y, Z); in TEST() local283 expectUnsatisfiable(solve({XEqY, YEqZ, Z, NotX})); in TEST()