lib ppc for PowerPC (32-bit) MacOSX student solvers. lib x86_32 for Intel 32-bit MacOSX student solvers.