SQI_ss : simpLib.ssfrag
STRUCTURE
SYNOPSIS
A synonym for quantHeuristicsLib.SIMPLE_QUANT_INST_ss.
SEEALSO
HOL  Trindemossen-1