Add some SMT links to README