smt-d
GitHub：
https://github.com/private-yusuke/smt-d