testQBF.het revision 7a3fe82695aa32657693e05712f84d7f81672f2e
logic QBF
spec S =
props a, b
. a
. forall p p <=> not not p