Links for optimized-smt