Dependencies for smtlib2-pipe-1.0

Libraries

smtlib2-pipe