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