Dependencies for simple-smt-0.8

Libraries

simple-smt