smt_logics.def

Go to the documentation of this file.

LOGIC_ID(quantifier_free_uninterpreted_functions, QF_UF)
LOGIC_ID(quantifier_free_bit_vectors, QF_BV)
LOGIC_ID(quantifier_free_uninterpreted_functions_bit_vectors, QF_UFBV)
LOGIC_ID(quantifier_free_bit_vectors_arrays, QF_ABV)
LOGIC_ID(quantifier_free_arrays_uninterpreted_functions_bit_vectors, QF_AUFBV)
LOGIC_ID(all, ALL)