You are viewing a single comment's thread from:RE: Simplifying the SMT ProtocolView the full contextcamodude111 (26)in #smt • 5 years ago This Amy protocol is really good a good idea I agree with this strongly