contrib/tiar/math/DP-STAR
contrib/tiar/math/O2GTGT
contrib/tiar/math/O2LTLT
contrib/tiar/math/O2gain
contrib/tiar/math/add3
contrib/tiar/math/add4
contrib/tiar/math/add5
contrib/tiar/math/add6
contrib/tiar/math/gainNoSat
contrib/tiar/math/mul3
contrib/tiar/math/mul4
contrib/tiar/math/mul5
contrib/tiar/math/mul6
contrib/tiar/math/quint-STARc
contrib/tiar/math/signed-STARc
contrib/tiar/math/triple-STARc