What compression library is used by WP Smush Pro?

I wanted to know what compression library is used for lossless compression? Is it JPEGTrans?