OpenSMT https://code.google.com/p/opensmt/ のコードは分かりやすいなぁ。 開発が止まっていしまっていて残念だ。