Change Log All notable changes to the "SMT" extension will be documented in this file. [Unreleased] Initial release