Smt-Switch: A Solver-agnostic C++ API for SMT Solving.

Makai Mann Amalee Wilson Cesare Tinelli Clark W. Barrett

Published in: SMT (2020)

Keyphrases

statistical machine translation
high speed
word alignment
jigsaw puzzle
neural network
source code
machine translation
open source
real time
third party
machine translation system