Dependencies for FirstOrderTheory-0.1.0.6

library