smt-lib-0.0.2: dependencies

Dependencies for smt-lib-0.0.2

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