Closed hanischandrew closed 3 years ago
Updating readme to reflect correct SMT Nomenclature
All committers have signed the CLA.
Updating readme to reflect correct SMT Nomenclature