SMT here refers to https://en.wikipedia.org/wiki/Satisfiability_modulo_theories https://en.wikipedia.org/wiki/Satisfiability_modulo_theories not https://en.w

SMT here refers to https://en.wikipedia.org/wiki/Satisfiability_modulo_theories https://en.wikipedia.org/wiki/Satisfiability_modulo_theories not https://en.wikipedia.org/wiki/Simultaneous_multithreading https://en.wikipedia.org/wiki/Simultaneous_multithreading and not https://en.wikipedia.org/wiki/Surface-mount_technology https://en.wikipedia.org/wiki/Surface-mount_technology in case anyone else was sitting there wondering for too long like I was.