3 ms·I use SMT, but I can’t imagine how it would suggest good names for variables?by CJefferson 3y agoI use SMT, but I can’t imagine how it would suggest good names for variables?