Used git subtree merging to merge smlib into this project