Searched refs:NotNotX (Results 1 – 1 of 1) sorted by relevance
95 auto NotNotX = Ctx.neg(NotX); in TEST() local98 expectUnsatisfiable(solve({NotNotX, NotX})); in TEST()