You are viewing a single comment's thread from:RE: A.Antonopoulos predicted SMT'sView the full contextmarius19 (74)in #smt • 7 years ago Good job! @snowflake Thank you for the good information