YSITD_TG_Bot says to #ysitd
<koru1130>: (zypeh: refin...) SMT solver?
at Sun, Sep 10, 2017 10:34 AM