Synth sound libraries

Hey,

I’ve heard the “Free to Play” Soundtrack (Valve), and in this soundtrack, Mark Adler uses a lot of synth, as well as adding a lot of reverb to the strings. Have you any idea what are the sample(s) librarie(s) that he uses to make all the synth sounds? Also, I’m not sure about the piano, if he used a real piano or a sound library. If you don’t want to listen everything, you can focus on the 3 first tracks where we can here a lot of synth sounds, but I’m assuming he used not one but several samples libraries.

https://soundcloud.com/maxime77240/sets/free-to-play-soundtrack

Thanks!