Smt-Switch: a solver-agnostic C++ API for SMT Solving.

Makai Mann Amalee Wilson Cesare Tinelli Clark W. Barrett

Published in: CoRR (2020)

Keyphrases

statistical machine translation
high speed
modulo theories
jigsaw puzzle
combinatorial optimization
solving problems
real time
satisfiability modulo theories
machine learning
search algorithm
application developers
word alignment
weighted max sat