Dependencies for yices-0.0.0.3

library