Dependencies for smtlib2-debug-1.0

Libraries

smtlib2-debug