QI_ss

bossLib.QI_ss : ssfrag

Simpset-fragment for instantiating quantifiers with some default heuristics.

QI_ss is short for QUANT_INST_ss [std_qp].

See also

bossLib.QI_TAC, quantHeuristicsLib.QUANT_INST_ss