Ecency
@smooth: The SMT code | Ecency