Dependencies for nondeterminism-1.0

library