Dependencies for picosat-0.1.6

library