It doesn’t require any special PHP library (the problem is somewhere else).
I just double checked your site to make sure that the shopping cart widget you added is from the WP eStore plugin and not the Simple shopping cart plugin (a lot of people make this mistake). Looks like the cart is appearing fine now… so I take it you figured out the problem. What was it?