You are viewing a single comment's thread from:RE: Simplifying the SMT ProtocolView the full contextfreebornangel (72)in #smt • 7 years ago Who put it in in the first place?