useStlAlgorithm
ftp://ftp.de.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1.orig.tar.xz
head cryptominisat-5.11.21/src/solvertypes.h:483:13: style: Consider using std::transform algorithm instead of a raw loop. [useStlAlgorithm]