Dependencies for smt-lib-0.0.2

Libraries

smt-lib

array (>=0.3 && <0.4)
base (>=4.0 && <5.0)
directory (>=1.0 && <1.1)
polyparse (>=1.4)