• ALL : klee
• ALL_KQUERY : klee
• ALL_SMTLIB : klee
• DUMMY_SOLVER : klee
• INDEX : klee
• METASMT_SOLVER : klee
• NO_SOLVER : klee
• NONE : klee
• SOLVER_KQUERY : klee
• SOLVER_SMTLIB : klee
• STP_SOLVER : klee
• VALUE : klee
• Z3_SOLVER : klee