Searched refs:NotXAndY (Results 1 – 1 of 1) sorted by relevance
117 auto NotXAndY = Ctx.neg(XAndY); in TEST() local120 expectUnsatisfiable(solve({NotXAndY, XAndY})); in TEST()