Searched refs:XOrNotY (Results 1 – 1 of 1) sorted by relevance
203 auto XOrNotY = Ctx.disj(X, NotY); in TEST() local206 expectUnsatisfiable(solve({XOrY, NotXOrY, NotXOrNotY, XOrNotY})); in TEST()