Dependencies for smtlib2-debug-1.0

library