Dependencies for improve-0.3.3

Libraries

improve

base (>=4.0 && <5)
mtl (>=1.1.0.1 && <2.1)
yices (>=0.0.0.7 && <0.0.1)