Added the Linux SAT librarieso