Dependencies for smt-lib-0.0.2

Libraries

smt-lib