Searched refs:XAndNotY (Results 1 – 1 of 1) sorted by relevance
331 auto *XAndNotY = Ctx.conj(X, Ctx.neg(Y)); in TEST() local334 expectUnsatisfiable(solve({XImplY, XAndNotY})); in TEST()