Dependencies for picosat-0.1.0.1

library