We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Welcome to the smten wiki!
Smten is a unified language for general purpose functional programming and Satisfiability Modulo Theories (SMT) orchestration.
Smten tool paper in CAV 2013: http://people.csail.mit.edu/ruhler/smten-cav13.pdf