Login / Signup
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