kdrag.theories.logic.temporal.Not

kdrag.theories.logic.temporal.Not(x: DatatypeRef) → DatatypeRef

>>> x = smt.Const("x", TSort(smt.BoolSort()))
>>> smt.simplify(Valid(Not(x)))
Not(val(x)[0])