You are viewing a single comment's thread from:RE: (Witness) With SMT, Can we play with different rules?View the full contextprameshtyagi (71)in #witness • 5 years ago I support your arguments. And I am sure many more will support it.