Dependencies for presburger-1.0

library