You are viewing a single comment's thread from:RE: Simplifying the SMT ProtocolView the full contextView the direct parentgerbino (64)in #smt • 7 years ago That, and K.I.S.S. "Keep It Simple Stupid"
"What you produce others will consume" nice strategy and break down. It easy the work of the team developers.
Yup, and never repeat any code! If possible! lol