This repository will include information relevant to SMT