SMT type option has disappeared
posted by Sadat Rafi , 1 month ago.
replied by Andreas Dahl , 1 month ago.