SMT type option has disappeared
posted by Sadat Rafi , 3 years ago.
replied by Andreas Dahl , 3 years ago.