Searched refs:XAndNotX (Results 1 – 1 of 1) sorted by relevance
146 auto XAndNotX = Ctx.conj(X, NotX); in TEST() local149 expectUnsatisfiable(solve({XAndNotX})); in TEST()