smtLib-1.0: dependencies

Dependencies for smtLib-1.0

library	base (<5) pretty
smtLib-test-1	base (<5) process smtLib
smtLib-test-2	base (<5) process smtLib