SIMPLE_QUANT_INST_ss
quantHeuristicsLib.SIMPLE_QUANT_INST_ss : simpLib.ssfrag
A simpset fragment corresponding to
quantHeuristicsLib.SIMPLE_QUANT_INSTANTIATE_CONV.
See also
quantHeuristicsLib.SIMPLE_QUANT_INSTANTIATE_CONV,
bossLib.SQI_ss