4 ms·
You realize you're saving no characters writing S{M|A}T instead of SAT/SMT? :) It's like abbreviating world wide web to double-u, double-u, double-u.
by fovc 8y ago
You realize you're saving no characters writing S{M|A}T instead of SAT/SMT? :) It's like abbreviating world wide web to double-u, double-u, double-u.