docs/smt_and_rmt.md

Summary

Maintainability
Test Coverage