Dependencies for satchmo-minisat-1.3

library