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