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